Advanced Petri Nets and the Fluent Calculus.
Steffen HölldoblerFerdian JovanPublished in: YSIP (2014)
Keyphrases
- petri net
- fluent calculus
- situation calculus
- petri net model
- discrete event systems
- manufacturing systems
- programming language
- reasoning about actions
- colored petri nets
- service composition
- fuzzy petri net
- predicate logic
- stochastic petri net
- programmable logic controller
- ims ld
- concurrent systems
- production process
- state machines