Dynamic feature research into simplifying technology of Petri nets

DOI10.3724/SP.J.1087.2011.01641MaRDI QIDQ3168210zbMATH OpenFDO

Authors Bozhao Yan, Xiaobo Yue, Kai-Qing Zhou, Li-Ping Mo

Publication date 30 October 2012

Published in Journal of Computer Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3724/SP.J.1087.2011.01641

zbMATH Keywords

dynamic featurePetri netsimplifystation explosion

Mathematics Subject Classification ID

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

Recommendations

• Decomposition of Petri nets
• A tabular method for the analysis of large petri nets
• Analysis of petri nets by partitioning: splitting places or transitions
• Analysis of Petri nets by partitioning: Splitting transitions
• Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture

Cited in

(5)

• Decomposition of Petri nets
• Dynamic slicing of Petri nets based on structural dependency graph and its application in system analysis
• scientific article; zbMATH DE number 3890742 (Why is no real title available?)
• Hierarchical reduction method for analysis and decomposition of Petri nets
• Maximal and Minimal Dynamic Petri Net Slicing

This page was built for publication: Dynamic feature research into simplifying technology of Petri nets

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