Petri Nets for the Verification of Ubiquitous Systems with Transient Secure Association.
Fernando Rosa-VelardoPublished in: UIC (2007)
Keyphrases
- petri net
- ubiquitous systems
- petri net model
- colored petri nets
- concurrent systems
- ubiquitous computing
- manufacturing systems
- discrete event systems
- smart environments
- stochastic petri net
- state machines
- service composition
- ims ld
- sequence diagrams
- production process
- model checking
- temporal logic
- artificial intelligence