On structural conditions for weak persistency and semilinearity of Petri nets
From MaRDI portal
Publication:1186602
DOI10.1016/0304-3975(92)90329-EzbMath0745.68081MaRDI QIDQ1186602
Kunihiko Hiraishi, Atsunobu Ichikawa
Publication date: 28 June 1992
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Reduced state space representation for unbounded vector state spaces, On conditions for the liveness of weakly persistent nets, Learning semilinear sets from examples and via queries, On the teaching complexity of linear sets, PATH DECOMPOSITION AND SEMILINEARITY OF PETRI NETS
Cites Work