On reachability graphs of Petri nets

DOI10.1016/S0045-7906(01)00034-9zbMath1006.68615OpenAlexW2095048141MaRDI QIDQ1860056

Xinming Ye, Xiaoyu Song, Jiantao Zhou

Publication date: 20 February 2003

Published in: Computers and Electrical Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0045-7906(01)00034-9

zbMATH Keywords

boundednessreachabilitylivenessPetri netconservationreachability graphcoverabilitysafenessreachability tree

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer system organization (68M99)

Related Items (1)

Diagnosability of Petri nets with observation graphs

This page was built for publication: On reachability graphs of Petri nets