Petri nets. Theoretical models and analysis methods for concurrent systems

DOI10.1007/978-981-19-6309-4MaRDI QIDQ5039675zbMATH OpenOpenAlexFDO

Authors GuanJun Liu

Publication date 1 October 2022

Full work available at URL https://doi.org/10.1007/978-981-19-6309-4

zbMATH Keywords

computation tree logicmodel checkingPetri netsstructural characteristics

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) 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

• scientific article; zbMATH DE number 5762567
• Understanding Petri Nets
• Petri net algebra
• scientific article; zbMATH DE number 1646978
• scientific article; zbMATH DE number 47952

Cited in

(36)

• Paradigms of concurrency. Observations, behaviours and systems -- a Petri net view
• Axiomatic systems in concurrency theory
• scientific article; zbMATH DE number 1646978 (Why is no real title available?)
• Time and Petri nets
• Nested Petri nets: modeling and analysis of distributed systems with object structure
• Petri nets. Fundamental models, verification and applications.
• scientific article; zbMATH DE number 5762567 (Why is no real title available?)
• scientific article; zbMATH DE number 3965450 (Why is no real title available?)
• scientific article; zbMATH DE number 46872 (Why is no real title available?)
• scientific article; zbMATH DE number 47952 (Why is no real title available?)
• scientific article; zbMATH DE number 54260 (Why is no real title available?)
• scientific article; zbMATH DE number 52953 (Why is no real title available?)
• scientific article; zbMATH DE number 1302049 (Why is no real title available?)
• scientific article; zbMATH DE number 1304239 (Why is no real title available?)
• scientific article; zbMATH DE number 610379 (Why is no real title available?)
• scientific article; zbMATH DE number 1106703 (Why is no real title available?)
• Synchro-net system: A Petri net model for higher-layer protocols
• scientific article; zbMATH DE number 1919472 (Why is no real title available?)
• scientific article; zbMATH DE number 1538868 (Why is no real title available?)
• Formal methods in computer science
• Discrete, Continuous, and Hybrid Petri Nets
• Understanding Petri Nets
• scientific article; zbMATH DE number 1442035 (Why is no real title available?)
• A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application
• Augmented marked graphs
• A calculus for automatic verification of Petri nets based on resolution and dynamic logics
• Modeling business processes. A Petri net-oriented approach
• Petri-Netze
• Liveness enforcement for production systems modeled by time Petri nets
• Petri Net Primer
• Synergy-incorporated Bayesian Petri net: a method for mining ``and/or relation and synergy effect with application in probabilistic reasoning
• PLC transition sequence identification based on logical reduction
• Polynomial-time verification of pattern diagnosability for timed discrete event systems
• Lectures on concurrency and Petri nets. Advances in Petri nets.
• Modeling time in computing.
• Dynamic analysis of Petri net-based discrete systems

This page was built for publication: Petri nets. Theoretical models and analysis methods for concurrent systems

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