Time Petri Nets with Dynamic Firing Dates: Semantics and Applications.
Bernard BerthomieuSilvano Dal-ZilioLukasz FroncFrançois VernadatPublished in: FORMATS (2014)
Keyphrases
- petri net
- petri net model
- contract net protocol
- manufacturing systems
- discrete event systems
- stochastic petri net
- state machines
- process model
- service composition
- logic programming
- neural network
- colored petri nets
- concurrent systems
- ims ld
- programmable logic controller
- process algebra
- temporal logic
- low cost
- knowledge representation
- artificial intelligence