Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait

From MaRDI portal
Publication:2798480

DOI10.1080/00207721.2014.938788zbMath1333.93168OpenAlexW2093524741MaRDI QIDQ2798480

Lijing Chen, GuanJun Liu

Publication date: 12 April 2016

Published in: International Journal of Systems Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207721.2014.938788




Related Items (1)



Cites Work


This page was built for publication: Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait