Keyphrases
- petri net
- linear logic
- petri net model
- fixed point
- discrete event systems
- logical framework
- logic programming
- manufacturing systems
- cut elimination
- sequent calculus
- colored petri nets
- ims ld
- service composition
- state machines
- fuzzy petri net
- inference rules
- programmable logic controller
- concurrent processes
- knowledge based systems
- stochastic petri net
- artificial intelligence