Computation of marking/transition separation instances  for safe Petri nets using BDD
CHEN Yu-feng;LI Zhi-wu
J4 . 2010, (1): 119 -124+141 .  DOI: 10.3969/j.issn.1001-2400.2010.01.021

Copyright © 2018 Journal of Xidian University, All Rights Reserved.
Powered by Beijing Magtech Co. Ltd