Algebraic method of determining nonexistence of deadlock markings in Petri nets
From MaRDI portal
Publication:1185651
zbMath0744.93008MaRDI QIDQ1185651
Publication date: 28 June 1992
Published in: Automation and Remote Control (Search for Journal in Brave)
This page was built for publication: Algebraic method of determining nonexistence of deadlock markings in Petri nets