A Coloured Petri Net Approach to Protocol Verification.
Jonathan BillingtonGuy Edward GallaschBing HanPublished in: Lectures on Concurrency and Petri Nets (2003)
Keyphrases
- petri net
- petri net model
- colored petri nets
- service composition
- discrete event systems
- manufacturing systems
- high level petri nets
- state machines
- cryptographic protocols
- contract net protocol
- production process
- stochastic petri net
- process model
- fuzzy petri net
- ims ld
- concurrent systems
- web services
- decision making
- computational intelligence
- mobile devices