Modeling of distributed database concurrency control Mechanisms using an extended petri net formalism.
M. Tamer ÖzsuBruce W. WeidePublished in: ICDCS (1982)
Keyphrases
- petri net
- colored petri nets
- concurrent processes
- database concurrency control
- stochastic petri net
- manufacturing systems
- petri net model
- discrete event systems
- high level petri nets
- web service composition
- sequence diagrams
- process model
- embedded real time systems
- service composition
- fuzzy petri net
- knowledge representation
- web services
- ims ld
- concurrent systems
- holonic manufacturing systems
- artificial intelligence
- reactive systems
- contract net protocol
- distributed systems
- multi agent systems