Reachability determination in acyclic Petri nets by cell enumeration approach.
Duan LiXiaoling SunJianjun GaoShenshen GuXiaojin ZhengPublished in: Autom. (2011)
Keyphrases
- petri net
- petri net model
- discrete event systems
- high level petri nets
- np hard
- fuzzy petri net
- manufacturing systems
- stochastic petri net
- state space
- concurrent systems
- service composition
- colored petri nets
- process model
- dynamic programming
- discrete dynamical systems
- transitive closure
- sequence diagrams
- artificial intelligence
- knowledge acquisition
- learning process
- knowledge base