Petri Nets Based Models in the Specification and Verification of Protocols.
Michel DiazPublished in: Advances in Petri Nets (1986)
Keyphrases
- petri net
- colored petri nets
- reactive systems
- petri net model
- state machines
- stochastic petri net
- concurrent systems
- process model
- service composition
- formal methods
- formal specification
- discrete event systems
- manufacturing systems
- temporal logic
- model checking
- complex systems
- e learning
- ims ld
- asynchronous circuits
- state machine
- knowledge based systems
- fuzzy logic