An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol.
Lars Michael KristensenPublished in: PNSE @ Petri Nets (2014)
Keyphrases
- petri net
- petri net model
- colored petri nets
- embedded real time systems
- contract net protocol
- stochastic petri net
- process model
- reactive systems
- software engineering
- web service composition
- software systems
- service composition
- high level petri nets
- discrete event systems
- manufacturing systems
- knowledge acquisition
- software development
- complex systems
- computer systems