Petri Net Specification of a New Protocol for Controlling a Distributed System Organization.
Pascal EstraillierClaude GiraultPublished in: ICDCS (1982)
Keyphrases
- distributed systems
- petri net
- colored petri nets
- state machines
- petri net model
- concurrent systems
- fault tolerant
- manufacturing systems
- discrete event systems
- distributed environment
- contract net protocol
- fault tolerance
- protocol specification
- load balancing
- distributed computing
- fuzzy petri net
- web service composition
- service composition
- distributed database systems
- ims ld
- reactive systems
- replicated data
- sequence diagrams
- software architecture
- data replication
- data availability
- information processing
- real time systems
- mobile computing
- web services
- artificial intelligence
- story generation