Automated protocol modeling and verification combining an entity-based specification language and Petri nets.
Sol M. ShatzToshinori SuzukiTadao MurataPublished in: COMPSAC (1989)
Keyphrases
- colored petri nets
- petri net
- specification language
- petri net model
- model checker
- stochastic petri net
- discrete event systems
- description language
- formal specification
- web services
- service composition
- workflow models
- programming language
- model checking
- state machines
- knowledge base
- sequence diagrams
- concurrent systems
- formal verification
- process model
- distributed systems
- fuzzy logic
- state space