Towards Verifying Distributed Systems Using Object-Oriented Petri Nets.
Milan CeskaVladimír JanousekTomás VojnarPublished in: EUROCAST (1999)
Keyphrases
- distributed systems
- petri net
- object oriented
- discrete event systems
- petri net model
- manufacturing systems
- fault tolerant
- distributed environment
- geographically distributed
- fault tolerance
- fuzzy petri net
- database applications
- data model
- model checking
- distributed computing
- object oriented database systems
- software architecture
- load balancing
- service composition
- concurrent systems
- stochastic petri net
- real time systems
- relational databases
- ims ld
- colored petri nets
- data replication
- mobile agents
- deadlock detection
- state machines
- distributed database systems
- concurrent processes
- database systems
- real time