Advances in Petri Nets 1985

Herausgegeben:Rozenberg, Grzegorz

• Broschiertes Buch

Produktbeschreibung

The signing of a contract ¿ a tree-structured application modelled with petri net building blocks.- Checking properties of nets using transformations.- Petri nets and algebraic calculi of processes.- Fair controls and their realization.- Beta processes of C/E systems.- Synchronic distances in C/E systems.- Process periods and system reconstruction.- Guidelines on using net analysis techniques with large specifications.- Application of an extension of petri nets to modelization of control and production processes.- Making nets abstract and structured.- Petri net tools.- Projections of CE-systems.- Synchronic structure.- Safe states in Banker like resource allocation Problems.- Coordination technology and Petri nets.- Pascal semantics by a combination of denotational semantics and high-level petri nets.- On the invariants of coloured Petri Nets.- A logical formalism for the study of the finite behaviour of Petri nets.- Determination of a poset by its co-relation.- Some equivalence notions for concurrent systems. An overview.- Towards a comprehensive office model integrating information and resources.- Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs.- Protocol analysis using Numerical Petri Nets.- Petri nets, morphisms and compositionality.- M-timed Petri nets, priorities, preemptions, and performance evaluation of systems.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Lecture Notes in Computer Science 222
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-16480-7
• 1986.
• Seitenzahl: 508
• Erscheinungstermin: 1. Mai 1986
• Englisch
• Abmessung: 235mm x 155mm x 28mm
• Gewicht: 760g
• ISBN-13: 9783540164807
• ISBN-10: 3540164804
• Artikelnr.: 23149188

Inhaltsangabe

The signing of a contract - a tree-structured application modelled with petri net building blocks.- Checking properties of nets using transformations.- Petri nets and algebraic calculi of processes.- Fair controls and their realization.- Beta processes of C/E systems.- Synchronic distances in C/E systems.- Process periods and system reconstruction.- Guidelines on using net analysis techniques with large specifications.- Application of an extension of petri nets to modelization of control and production processes.- Making nets abstract and structured.- Petri net tools.- Projections of CE-systems.- Synchronic structure.- Safe states in Banker like resource allocation Problems.- Coordination technology and Petri nets.- Pascal semantics by a combination of denotational semantics and high-level petri nets.- On the invariants of coloured Petri Nets.- A logical formalism for the study of the finite behaviour of Petri nets.- Determination of a poset by its co-relation.- Some equivalence notions for concurrent systems. An overview.- Towards a comprehensive office model integrating information and resources.- Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs.- Protocol analysis using Numerical Petri Nets.- Petri nets, morphisms and compositionality.- M-timed Petri nets, priorities, preemptions, and performance evaluation of systems.