Computer-based reduction technique for Petri nets

DOI10.1080/00207729108910588MaRDI QIDQ3489470zbMATH OpenOpenAlexFDO

Authors Banani Saha, Subhansu Bandyopadhyay

Publication date 1991

Published in International Journal of Systems Science. Principles and Applications of Systems and Integration (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207729108910588

zbMATH Keywords

Petri netsreduction

Mathematics Subject Classification ID

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

Recommendations

• Hierarchical reduction method for analysis and decomposition of Petri nets
• Generalized Petri Net Reduction Method
• scientific article; zbMATH DE number 5762567
• scientific article; zbMATH DE number 3922334
• Reduction and synthesis of live and bounded free choice Petri nets

Cites work

• On reduction of asynchronous systems

Cited in

(5)

• A model reduction method for parallel software testing
• Hierarchical reduction method for analysis and decomposition of Petri nets
• Reflexive Incidence Matrx (RIM) Representation of Petri Nets
• Petri net models of flexible and automated manufacturing systems: a survey
• Building reduced Petri net models of discrete manufacturing systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3489470)