"Truly concurrent" and nondeterministic semantics of discrete-time Petri nets.
Irina B. VirbitskaiteV. A. BorovlevLouchka Popova-ZeugmannPublished in: Program. Comput. Softw. (2016)
Keyphrases
- petri net
- finite state
- concurrent processes
- discrete event systems
- petri net model
- manufacturing systems
- process algebra
- markov chain
- logic programming
- concurrent systems
- service composition
- ims ld
- stochastic petri net
- fuzzy petri net
- colored petri nets
- neural network
- workflow process
- discrete dynamical systems
- low cost