Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

A Primer in Petri Net Design

BuchKartoniert, Paperback
120 Seiten
Englisch
Springererschienen am13.12.2011Softcover reprint of the original 1st ed. 1992
Petri nets provide a formal framework for system modelingand validation which has proven to be very reliable inpractice. This book presents variousnet models appropriatefor designing specific systems, where systems are understoodvery generally as "organizational systems" in whichregulatedflows of objects and information are significant.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR106,99
E-BookPDF1 - PDF WatermarkE-Book
EUR96,29

Produkt

KlappentextPetri nets provide a formal framework for system modelingand validation which has proven to be very reliable inpractice. This book presents variousnet models appropriatefor designing specific systems, where systems are understoodvery generally as "organizational systems" in whichregulatedflows of objects and information are significant.
Details
ISBN/GTIN978-3-642-75331-2
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2011
Erscheinungsdatum13.12.2011
AuflageSoftcover reprint of the original 1st ed. 1992
ReiheSpringer Compass International
Seiten120 Seiten
SpracheEnglisch
IllustrationenXII, 120 p.
Artikel-Nr.18232527

Inhalt/Kritik

Inhaltsverzeichnis
1 Principles of System Design with Nets.- 1.1 An Example.- 1.2 Passive and Active Components.- 1.3 The Change to Dynamic Behavior.- 1.4 Relationships Between Net Representations.- 2 Condition-Event Nets.- 2.1 An Example.- 2.2 Rules.- 2.3 Conflicts.- 2.4 Contacts and Their Avoidance Through Complementation.- 2.5 Processes of Condition-Event Nets.- 2.6 Further Examples.- 3 Place-Transition Nets.- 3.1 An Example.- 3.2 Arrow Weights.- 3.3 Rules.- 3.4 Contacts and Their Avoidance Through Complementation.- 3.5 Further Examples.- 4 Individual-Token Nets.- 4.1 An Example of Constant Arrow Labels.- 4.2 Rules for Nets with Individual Tokens and Constant Arrow Labels.- 4.3 Further Possibilities for Constant Arrow Labels.- 4.4 An Example of Variable Arrow Labels.- 4.5 Rules for Nets with Individual Tokens and Variable Arrow Labels.- 4.6 Further Possibilities for Variable Arrow Labels.- 4.7 Individual-Token Nets.- 5 Channel-Agency Nets.- 5.1 An Example.- 5.2 Rules.- 5.3 Further Examples.- 6 Refinement and Embedding.- 6.1 Refinement.- 6.2 Token-Preserving Refinement.- 6.3 Embedding.- 7 Nets as a Design Method.- 7.1 Preliminary Considerations for the Design of Computer-Integrated Systems.- 7.2 An Example.- 7.3 The Switch to Other Net Models.- 7.4 Additions to the Example.- Solutions.- References.mehr