Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams.
Yufeng ChenGaiyun LiuPublished in: ACM Trans. Embed. Comput. Syst. (2013)
Keyphrases
- petri net
- binary decision diagrams
- petri net model
- discrete event systems
- symbolic model checking
- boolean functions
- fuzzy petri net
- search algorithm
- colored petri nets
- service composition
- stochastic petri net
- artificial intelligence
- ims ld
- concurrent systems
- programmable logic controller
- database
- model checking
- collaborative learning
- data mining