Verification of membrane systems with delays via Petri nets with delays.
Bogdan AmanGabriel CiobanuPublished in: Theor. Comput. Sci. (2015)
Keyphrases
- petri net
- discrete event systems
- petri net model
- colored petri nets
- manufacturing systems
- concurrent systems
- complex systems
- fuzzy petri net
- formal methods
- distributed systems
- reactive systems
- state machines
- ims ld
- embedded real time systems
- discrete dynamical systems
- expert systems
- model checking
- knowledge based systems
- low cost