Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic.
Matti AnttilaHarri ErikssonJukka IkonenRaimo KujansuuLeo OjalaHeikki TuominenPublished in: Protocol Specification, Testing, and Verification (1983)
Keyphrases
- petri net
- temporal logic
- reactive systems
- concurrent systems
- model checking
- formal methods
- modal logic
- petri net model
- discrete event systems
- fuzzy petri net
- colored petri nets
- formal specification
- transition systems
- verification method
- process model
- ims ld
- service composition
- computation tree logic
- stochastic petri net
- mazurkiewicz traces
- information flow