Structural analysis of Petri nets

DOI10.1007/978-1-4471-4276-8_11MaRDI QIDQ5496929zbMATH OpenOpenAlexFDO

Authors Maria Paola Cabasino, Alessandro Giua, C. Seatzu

Publication date 29 January 2015

Published in Lecture Notes in Control and Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-4471-4276-8_11

Mathematics Subject Classification ID

Applications of graph theory (05C90) Discrete event control/observation systems (93C65) Applications of graph theory to circuits and networks (94C15)

Recommendations

• Structure theory of Petri nets
• Compositional analysis of Petri nets
• Analysis of structural properties of Petri nets based on product incidence matrix
• scientific article; zbMATH DE number 107897
• Reachability in cyclic extended free-choice systems

Cited in

(31)

• Compositional analysis of Petri nets
• scientific article; zbMATH DE number 1512029 (Why is no real title available?)
• scientific article; zbMATH DE number 1195623 (Why is no real title available?)
• Dynamical quantities in net systems
• Structure theory of Petri nets
• Composantes préconservatives minimales d'un réseau de Petri : étude structurelle
• scientific article; zbMATH DE number 1836396 (Why is no real title available?)
• Handles and reachability analysis of free choice nets
• Applications and Theory of Petri Nets 2005
• An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
• Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
• scientific article; zbMATH DE number 5140768 (Why is no real title available?)
• scientific article; zbMATH DE number 1912023 (Why is no real title available?)
• Analysis of Petri nets with a dynamic priority method
• Structure theory of choice-free Petri nets based on eigenvalues
• scientific article; zbMATH DE number 4074502 (Why is no real title available?)
• Structural matrices for signed Petri net
• Analysis issues in Petri nets with inhibitor arcs
• Analysis of Petri nets by partitioning: Splitting transitions
• scientific article; zbMATH DE number 1515285 (Why is no real title available?)
• A comparative analysis of recent identification approaches for discrete-event systems
• Analysis of structural properties of Petri nets based on product incidence matrix
• scientific article; zbMATH DE number 744053 (Why is no real title available?)
• scientific article; zbMATH DE number 107897 (Why is no real title available?)
• scientific article; zbMATH DE number 610379 (Why is no real title available?)
• Methods for behavior descriptions of structure-complex Petri nets
• scientific article; zbMATH DE number 5499378 (Why is no real title available?)
• scientific article; zbMATH DE number 5014120 (Why is no real title available?)
• Using linear programming in Petri net analysis
• Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism
• Lifted structural invariant analysis of Petri net product lines

This page was built for publication: Structural analysis of Petri nets

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