Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems.
Fernando Rosa-VelardoOlga Marroquín AlonsoDavid de Frutos-EscrigPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- petri net
- ubiquitous systems
- ubiquitous computing
- petri net model
- smart devices
- discrete event systems
- mobile devices
- manufacturing systems
- context aware
- colored petri nets
- smart environments
- mobile phone
- mobile applications
- fuzzy petri net
- multi agent systems
- stochastic petri net
- multi agent
- service composition
- state machines
- concurrent systems
- smart phones
- contract net protocol
- fuzzy reasoning
- complex systems
- fuzzy logic