Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs.
Paolo BaldanAndrea CorradiniUgo MontanariPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- petri net
- rewriting systems
- discrete event systems
- petri net model
- strongly connected
- manufacturing systems
- fuzzy petri net
- rewriting rules
- colored petri nets
- state machines
- sequence diagrams
- programmable logic controller
- stochastic petri net
- concurrent systems
- dependency graph
- ims ld
- dynamic systems
- business processes
- decision making