Petri-Netze

DOI10.1007/978-3-540-76971-2MaRDI QIDQ5434195zbMATH OpenOpenAlexFDO

Authors Lutz Priese, Harro Wimmel

Publication date 3 January 2008

Published in eXamen.press (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-76971-2

zbMATH Keywords

Petri net languagesPetri netsPomsetsreachability problem

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Entscheidbarkeit bei Petri Netzen
• scientific article; zbMATH DE number 5762567
• Petri nets. Theoretical models and analysis methods for concurrent systems
• scientific article; zbMATH DE number 3922334
• scientific article; zbMATH DE number 46872

Cited in

(28)

• CTS systems and Petri nets
• Normal and sinkless Petri nets
• Clustering for Petri nets
• Petri nets and regular processes
• Petri nets as semantic domain for diagram notations
• scientific article; zbMATH DE number 2088664 (Why is no real title available?)
• scientific article; zbMATH DE number 3845062 (Why is no real title available?)
• Elasticity and Petri Nets
• scientific article; zbMATH DE number 3932400 (Why is no real title available?)
• scientific article; zbMATH DE number 4092787 (Why is no real title available?)
• scientific article; zbMATH DE number 1184490 (Why is no real title available?)
• scientific article; zbMATH DE number 1191244 (Why is no real title available?)
• Spezifikation von Mechanismen zur Ausnahmebehandlung mit Petri-Netzen
• scientific article; zbMATH DE number 46872 (Why is no real title available?)
• PETRI NETS AND STEP TRANSITION SYSTEMS
• scientific article; zbMATH DE number 1302043 (Why is no real title available?)
• Petri Net Models in Batch Control
• scientific article; zbMATH DE number 979001 (Why is no real title available?)
• scientific article; zbMATH DE number 2064225 (Why is no real title available?)
• Arc-typed Petri Nets
• scientific article; zbMATH DE number 2155180 (Why is no real title available?)
• scientific article; zbMATH DE number 7357525 (Why is no real title available?)
• Dynamic Recursive Petri Nets
• scientific article; zbMATH DE number 5033884 (Why is no real title available?)
• Error-correcting Petri nets
• Petri net representation of multi-valued logical regulatory graphs
• Applications and Theory of Petri Nets 2005
• Carl Adam Petri. Life and science. Translated from the German by the author and Tim Denvir

This page was built for publication: Petri-Netze

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