The essence of Petri nets and transition systems through Abelian groups.
Gabriel JuhásPublished in: Electron. Notes Theor. Comput. Sci. (1998)
Keyphrases
- petri net
- concurrent systems
- transition systems
- reactive systems
- fuzzy petri net
- model checking
- petri net model
- temporal logic
- discrete event systems
- colored petri nets
- stochastic petri net
- finite state
- web service composition
- service composition
- control flow
- programmable logic controller
- practical reasoning
- process model
- computational intelligence
- decision making
- formal specification
- distributed systems