Formal specifications of resource-deadlock prone petri nets.
Daniel E. CookePublished in: J. Syst. Softw. (1990)
Keyphrases
- petri net
- formal specification
- concurrent systems
- process algebra
- specification languages
- model checking
- manufacturing systems
- object oriented design
- specification language
- discrete event systems
- colored petri nets
- petri net model
- formal specification language
- formal methods
- reverse engineering
- holonic manufacturing systems
- temporal logic
- ims ld
- service composition
- state machines
- fuzzy petri net
- design methodology
- low cost
- process model
- resource usage