QoS Protocol Verification using Petri-Net for Seamless Mobility in a Ubiquitous Environment: A Case Study.
Dalju LeeJongmoon BaikPublished in: SNPD (2008)
Keyphrases
- petri net
- ubiquitous environment
- petri net model
- colored petri nets
- resource reservation
- quality of service
- web services
- context aware
- service composition
- context awareness
- concurrent systems
- semantic interoperability
- service oriented architecture
- ubiquitous computing
- mobile terminals
- production process
- mobile users
- mobility management
- real time
- mobile agents
- medium access
- web service composition
- fuzzy petri net
- service oriented
- lightweight
- metadata
- stochastic petri net
- smart spaces
- service discovery
- wireless communication
- ad hoc networks