Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems.
Irina A. LomazovaPublished in: Fundam. Informaticae (2000)
Keyphrases
- distributed systems
- petri net
- concurrent systems
- process algebra
- colored petri nets
- multi agent
- petri net model
- fuzzy petri net
- fault tolerant
- load balancing
- model checking
- reactive systems
- geographically distributed
- distributed computing
- state machines
- multi agent systems
- distributed environment
- service composition
- reinforcement learning
- formal specification
- mobile agents
- manufacturing systems
- discrete event systems
- sequence diagrams
- intelligent agents
- distributed database systems
- real time systems
- software architecture
- stochastic petri net
- data availability
- multiagent systems
- ims ld
- fuzzy logic
- formal methods