Transition systems, link graphs and Petri nets.
James J. LeiferRobin MilnerPublished in: Math. Struct. Comput. Sci. (2006)
Keyphrases
- petri net
- concurrent systems
- transition systems
- reactive systems
- petri net model
- temporal logic
- discrete event systems
- fuzzy petri net
- colored petri nets
- web service composition
- process model
- model checking
- stochastic petri net
- control flow
- practical reasoning
- programmable logic controller
- finite state
- distributed systems
- multi agent