A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets.
Toshinori SuzukiSol M. ShatzTadao MurataPublished in: IEEE Trans. Software Eng. (1990)
Keyphrases
- colored petri nets
- petri net
- specification language
- petri net model
- formal specification
- description language
- stochastic petri net
- web services
- programming language
- sequence diagrams
- state machines
- discrete event systems
- workflow models
- concurrent systems
- ims ld
- low cost
- model checker
- fuzzy petri net
- programmable logic controller
- service composition
- general purpose