Structure theory of Petri nets

DOI10.1007/978-3-642-38143-0_5MaRDI QIDQ4924448zbMATH OpenOpenAlexFDO

Authors Eike Best, Harro Wimmel

Publication date 31 May 2013

Published in Transactions on Petri Nets and Other Models of Concurrency VII (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-38143-0_5

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3982529
• scientific article; zbMATH DE number 4031000
• scientific article; zbMATH DE number 3885321
• scientific article; zbMATH DE number 1302043
• Structural analysis of Petri nets

Cited in

(22)

• How Petri net theory serves Petri net model checking: a survey
• Reduction using induced subnets to systematically prove properties for free-choice nets
• Synthesis and reengineering of persistent systems
• On the structure of cycloids introduced by Carl Adam Petri
• A stochastic analysis of a network with two levels of service
• Transformation of variants of Petri nets into context-dependent fusion grammars
• Composantes préconservatives minimales d'un réseau de Petri : étude structurelle
• Elasticity and Petri Nets
• scientific article; zbMATH DE number 3970085 (Why is no real title available?)
• scientific article; zbMATH DE number 3982529 (Why is no real title available?)
• scientific article; zbMATH DE number 4031000 (Why is no real title available?)
• scientific article; zbMATH DE number 4074506 (Why is no real title available?)
• scientific article; zbMATH DE number 107897 (Why is no real title available?)
• scientific article; zbMATH DE number 1195623 (Why is no real title available?)
• scientific article; zbMATH DE number 591002 (Why is no real title available?)
• scientific article; zbMATH DE number 1755145 (Why is no real title available?)
• Methods for behavior descriptions of structure-complex Petri nets
• Free-choice Nets with Home Clusters are Lucent
• Structural analysis of Petri nets
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Adjunct partial array token Petri net structure
• Partial order behaviour and structure of Petri nets

This page was built for publication: Structure theory of Petri nets

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