Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems.
Nikolay A. AnisimovEvgeniy A. GolenkovDmitriy I. KharitonovPublished in: Program. Comput. Softw. (2001)
Keyphrases
- distributed systems
- petri net
- concurrent systems
- embedded real time systems
- fault tolerant
- real time systems
- distributed environment
- agent based systems
- fault tolerance
- manufacturing systems
- distributed computing
- geographically distributed
- load balancing
- petri net model
- software engineering
- stochastic petri net
- mobile agents
- fuzzy petri net
- ims ld
- data replication
- web service composition
- software development environments
- discrete event systems
- service composition
- colored petri nets
- distributed database systems
- deadlock detection
- development process
- database systems
- case study
- artificial intelligence
- mobile agent system
- story generation
- knowledge representation