Computer-based reduction technique for Petri nets

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

zbMATH Keywords

reductionPetri nets

Mathematics Subject Classification ID

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

Related Items (1)

Petri net models of flexible and automated manufacturing systems: a survey

Cites Work

• On reduction of asynchronous systems

This page was built for publication: Computer-based reduction technique for Petri nets