Verification of Distributed Systems Modelled by High-Level Petri Nets.
Vitaly E. KozuraValery A. NepomniaschyRuslan M. NovikovPublished in: PARELEC (2002)
Keyphrases
- distributed systems
- concurrent systems
- high level petri nets
- petri net
- distributed environment
- fault tolerance
- fault tolerant
- geographically distributed
- message passing
- load balancing
- high assurance
- distributed database systems
- mobile agents
- operating system
- security policies
- distributed computing
- deadlock detection
- real time systems
- loosely coupled
- ims ld
- agent technology
- model checking
- case study