![](/img/cover-not-exists.png)
Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets
Ding, Zhijun, Pan, Meiqin, Yang, Ru, Jiang, Changjun, Zhou, MengChuYear:
2016
Language:
english
Journal:
IEEE Transactions on Systems, Man, and Cybernetics: Systems
DOI:
10.1109/tsmc.2016.2523944
File:
PDF, 3.16 MB
english, 2016