On Proving Large Distributed Systems: Petri Net Modules Verification.
Irina A. LomazovaPublished in: PaCT (1997)
Keyphrases
- distributed systems
- petri net
- petri net model
- concurrent systems
- colored petri nets
- fuzzy petri net
- modular robots
- fault tolerant
- manufacturing systems
- discrete event systems
- load balancing
- distributed environment
- fault tolerance
- service composition
- operating system
- ims ld
- distributed database systems
- mobile agents
- distributed computing
- geographically distributed
- production process
- web services
- real time systems
- data replication
- loosely coupled
- web service composition
- artificial intelligence
- model checking
- replicated data
- data management
- high assurance