Invariant-preserving Petri net reduction and conditions for invariant- existence

DOI10.1016/0045-7906(88)90012-2zbMath0668.68067OpenAlexW1984044846MaRDI QIDQ1118414

Lalit M. Patnaik, Dilip Sarkar, Sejal K. Das, Vinod K. Agrawal

Publication date: 1988

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

Full work available at URL: https://doi.org/10.1016/0045-7906(88)90012-2

zbMATH Keywords

concurrent systemsinvariantsPetri netsreduction rules

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Extended colored Petri net: An efficient tool for analyzing concurrent systems

This page was built for publication: Invariant-preserving Petri net reduction and conditions for invariant- existence