Representing first order logic-based specifications in Petri-net-like graphs.
Kaizhi YuePublished in: IWSSD (1989)
Keyphrases
- petri net
- concurrent systems
- embedded real time systems
- reactive systems
- petri net model
- high level petri nets
- manufacturing systems
- web service composition
- discrete event systems
- logical formulas
- colored petri nets
- service composition
- first order logic
- knowledge representation
- fuzzy petri net
- ims ld
- process model
- sequence diagrams
- knowledge base
- multistage
- stochastic petri net
- knowledge based systems
- expert systems