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

Deciding a Class of Path Formulas for Conflict-Free Petri Nets

โœ Scribed by Hsu-Chun Yen; Bow-Yaw Wang; Ming-Sheng Yang


Book ID
105915263
Publisher
Springer
Year
1997
Tongue
English
Weight
239 KB
Volume
30
Category
Article
ISSN
1433-0490

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Coverability graphs for a class of synch
โœ 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