๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Concurrency for Graph Grammars in a Petri net shell

โœ Scribed by Paolo Baldan

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
367 KB
Volume
51
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Coverability graphs for a class of synch
Coverability graphs for a class of synchronously executed unbounded petri net
โœ P.David Stotts; Terrence W. Pratt ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 779 KB

Synchronous (or concurrent) transition firing rules for Petri nets are useful in modeling computations on real-time systems with multiple processors. A synchronous firing rule is one in which more than one transition may be fired to effect a single state change, allowing the physically concurrent op