Computer-based reduction technique for Petri nets
From MaRDI portal
Publication:3489470
DOI10.1080/00207729108910588zbMath0707.68059OpenAlexW2023020680MaRDI QIDQ3489470
Subhansu Bandyopadhyay, Banani Saha
Publication date: 1991
Published in: International Journal of Systems Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207729108910588
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of software (68N99)
Related Items (1)
Cites Work
This page was built for publication: Computer-based reduction technique for Petri nets