Marking diagnosability verification in labeled Petri nets
Ziyue Ma, Xiang Yin, Zhiwu Li
Topics & Concepts
Petri netComputer scienceProgramming languageStochastic Petri netProcess architectureDistributed computingTheoretical computer sciencePetri Nets in System ModelingFormal Methods in VerificationFlexible and Reconfigurable Manufacturing Systems