Keyphrases
- petri net
- logical inference
- theorem proving
- discrete event systems
- petri net model
- manufacturing systems
- colored petri nets
- logical structure
- probabilistic inference
- service composition
- knowledge compilation
- fuzzy petri net
- state machines
- ims ld
- stochastic petri net
- bayesian networks
- concurrent systems
- logic programs
- relational databases