An Axiomatic Characterization of Algebras of Processes of Petri Nets.
Józef WinkowskiPublished in: Fundam. Informaticae (2006)
Keyphrases
- petri net
- axiomatic characterization
- process model
- concurrent processes
- petri net model
- discrete event systems
- manufacturing systems
- fuzzy petri net
- ims ld
- service composition
- conditional independence
- state machines
- colored petri nets
- discrete dynamical systems
- workflow models
- concurrent systems
- temporal reasoning
- production system
- business processes
- neural network