Modular Analysis of Petri Nets

DOI10.1093/COMJNL/43.3.224MaRDI QIDQ4509344zbMATH OpenOpenAlexFDO

Authors

Publication date 15 October 2000

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/43.3.224

zbMATH Keywords

high-level Petri netsmodular PT-nets

Mathematics Subject Classification ID

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

Recommendations

• Modular state space analysis of coloured Petri nets
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Failures semantics and deadlocking of modular Petri nets
• Petri net reactive modules
• Analysis of petri nets by partitioning: splitting places or transitions

Cited in

(33)

• Failures semantics and deadlocking of modular Petri nets
• A UTP approach for rTiMo
• Extensible structural analysis of Petri net product lines
• Lifted structural invariant analysis of Petri net product lines
• Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism
• Compositional analysis of Petri nets
• Petri net reactive modules
• Generalizing the compositions of Petri nets modules
• Structural place invariants for analyzing the behavioral properties of nested Petri nets
• Local verification using a distributed state space
• A tabular method for the analysis of large petri nets
• Model checking safety properties in modular high-level nets
• An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets
• Simple Composition of Nets
• Towards a Standard for Modular Petri Nets: A Formalisation
• scientific article; zbMATH DE number 4060733 (Why is no real title available?)
• scientific article; zbMATH DE number 4064501 (Why is no real title available?)
• scientific article; zbMATH DE number 4074502 (Why is no real title available?)
• Analysis of petri nets by partitioning: splitting places or transitions
• Tutorial and Survey Articles: An introduction to Petri Nets
• scientific article; zbMATH DE number 1515296 (Why is no real title available?)
• Reachability analysis based on structured representations
• \(\{\mathrm{SC}\}^\ast\mathrm{ECS}\): a class of modular and hierarchical cooperating systems
• A class of composable high level Petri nets
• Modular state space analysis of coloured Petri nets
• A control method for distributed continuous mono-T-semiflow Petri nets
• Unifying the semantics of modular extensions of Petri nets
• Petri net analysis using invariant generation
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Applications and Theory of Petri Nets 2004
• Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines
• Proving nonreachability by modulo-invariants
• Analysis of Petri nets by partitioning: Splitting transitions

This page was built for publication: Modular Analysis of Petri Nets

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