- 5 Ergebnisse
Kleinster Preis: € 74,58, größter Preis: € 115,46, Mittelwert: € 95,90
1
Applications and Theory of Petri Nets 2003 - Aalst, Wil M. P. van der|Best, Eike
Bestellen
bei AbeBooks.de
€ 93,00
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Aalst, Wil M. P. van der|Best, Eike:

Applications and Theory of Petri Nets 2003 - Taschenbuch

2003, ISBN: 3540403345

[EAN: 9783540403340], Neubuch, [PU: Springer Berlin Heidelberg], BUSINESS PROCESS MODELING DESIGN FORMAL METHOD MODEL CHECKING PETRI NET SOFTWARE ENGINEERING VALIDATION ENGINEERING/PROGRA… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
zuklappen (X)
2
Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings (Lecture Notes in Computer Science, 2679, Band 2679)
Bestellen
bei amazon.de
€ 74,58
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings (Lecture Notes in Computer Science, 2679, Band 2679) - Taschenbuch

2009, ISBN: 9783540403340

Series Editor: Best, Eike, Springer, Taschenbuch, Auflage: 2003, 528 Seiten, Publiziert: 2009-02-22T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 3.57 kg, Informatik, IT-… Mehr…

Versandkosten:Gewöhnlich versandfertig in 3 bis 4 Tagen. De verzendkosten kunnen afwijken van de werkelijke kosten. (EUR 3.00) Books Around the World DE
zuklappen (X)
3
Applications and Theory of Petri Nets 2003 - Aalst, Wil M. P. van der Best, Eike
Bestellen
bei booklooker.de
€ 89,45
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Aalst, Wil M. P. van der Best, Eike:
Applications and Theory of Petri Nets 2003 - Erstausgabe

2003

ISBN: 9783540403340

Taschenbuch

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The refereed proceedi… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
zuklappen (X)
4
Applications and Theory of Petri Nets 2003 by Wil van der Aalst Paperback | Indigo Chapters
Bestellen
bei Indigo.ca
C$ 166,95
(ca. € 115,46)
Bestellen
Details und Versand
gesponserter Link
Applications and Theory of Petri Nets 2003 by Wil van der Aalst Paperback | Indigo Chapters - neues Buch

2003, ISBN: 9783540403340

24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings | Applications and Theory of Petri Nets 2003 by Wil van der Aalst Paperback | Indigo … Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
5
Applications and Theory of Petri Nets 2003 - Wil Van Der Aalst; Eike Best
Bestellen
bei lehmanns.de
€ 106,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Wil Van Der Aalst; Eike Best:
Applications and Theory of Petri Nets 2003 - Erstausgabe

2003, ISBN: 9783540403340

Taschenbuch

24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, Buch, Softcover, [PU: Springer Berlin], [ED: 1], Springer Berlin, 2003

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Applications and Theory of Petri Nets 2003
Autor:
Titel:
ISBN-Nummer:

9783540403340


Applications and Theory of Petri Nets 2003 2003 These 25 revised papers presented together with 6 invited contributions were reviewed and selected from 77 submissions. Issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, model checking and networking. Full description

Detailangaben zum Buch - Applications and Theory of Petri Nets 2003


EAN (ISBN-13): 9783540403340
ISBN (ISBN-10): 3540403345
Taschenbuch
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin

Buch in der Datenbank seit 2008-03-04T22:10:32+01:00 (Vienna)
Detailseite zuletzt geändert am 2023-08-07T17:02:14+02:00 (Vienna)
ISBN/EAN: 9783540403340

ISBN - alternative Schreibweisen:
3-540-40334-5, 978-3-540-40334-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: hofstede, van aalst, van der wil
Titel des Buches: eindhoven, pro petri, applica 2003, theory applications, lecture notes computer science, international conference proceedings

Daten vom Verlag:

Autor/in: Wil van der Aalst; Eike Best
Titel: Lecture Notes in Computer Science; Applications and Theory of Petri Nets 2003 - 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings
Verlag: Springer; Springer Berlin
508 Seiten
Erscheinungsjahr: 2003-06-04
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 508 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Business Process Modeling; design; formal method; model checking; modeling; petri net; software engineering; validation; Software Engineering; Mathematical Logic and Foundations; Theory of Computation; Computer Engineering and Networks; Mathematik: Logik; Mathematische Grundlagen; Theoretische Informatik; Computerhardware; EA

Invited Papers.- Coloured Petri Nets: Status and Outlook.- Towards Biopathway Modeling and Simulation.- The Resource Allocation Problem in Flexible Manufacturing Systems.- Colored GSPN Models for the QoS Design of Internet Subnets.- Compositional Theories of Qualitative and Quantitative Behaviour.- Net Models Supporting Human and Humane Behaviors.- Full Papers.- Deciding Life-Cycle Inheritance on Petri Nets.- Nets Enriched over Closed Monoidal Structures.- Automatic Symmetry Detection in Well-Formed Nets.- A Proposal for Structuring Petri Net-Based Agent Interaction Protocols.- Modelling Mobility and Mobile Agents Using Nets within Nets.- Modular System Development with Pullbacks.- Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets.- On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers.- Model Checking Safety Properties in Modular High-Level Nets.- On Reachability in Autonomous Continuous Petri Net Systems.- On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems.- Coloured Petri Nets in Development of a Pervasive Health Care System.- Logical Reasoning and Petri Nets.- Reactive Petri Nets for Workflow Modeling.- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets.- Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach.- On Synchronicity and Concurrency in Petri Nets.- Analysing Properties of the Resource Reservation Protocol.- Hierarchical Timed High Level Nets and Their Branching Processes.- A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets.- Tool Papers.- PLC Programming with Signal Interpreted Petri Nets.- CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.- The Model-Checking Kit.- Prototyping Object Oriented Specifications.- PNML Paper.- The Petri Net Markup Language: Concepts, Technology, and Tools.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540449195 Applications and Theory of Petri Nets 2003 (Wil van der Aalst; Eike Best)

< zum Archiv...