Modeling of Distributed Problem Solving using Logic Modified Petri Nets.
Antonella Di StefanoFabio GibiliscoOrazio MirabellaPublished in: Specification and Verification of Concurrent Systems (1988)
Keyphrases
- petri net
- distributed problem solving
- colored petri nets
- stochastic petri net
- cooperative
- meta level
- sequence diagrams
- petri net model
- fuzzy petri net
- programmable logic controller
- discrete event systems
- contract net protocol
- ims ld
- concurrent systems
- distributed artificial intelligence
- state machines
- service composition
- high level
- complex systems