Petri nets. Theoretical models and analysis methods for concurrent systems
DOI10.1007/978-981-19-6309-4OpenAlexW4312457305MaRDI QIDQ5039675FDOQ5039675
Authors: GuanJun Liu 
Publication date: 1 October 2022
Full work available at URL: https://doi.org/10.1007/978-981-19-6309-4
Recommendations
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)
Cited In (25)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Understanding Petri Nets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Petri-Netze
- Synchro-net system: A Petri net model for higher-layer protocols
- Lectures on concurrency and Petri nets. Advances in Petri nets.
- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application
- Title not available (Why is that?)
- Synergy-incorporated Bayesian Petri net: a method for mining ``and/or relation and synergy effect with application in probabilistic reasoning
- Axiomatic systems in concurrency theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dynamic analysis of Petri net-based discrete systems
- Title not available (Why is that?)
- Petri nets. Fundamental models, verification and applications.
- Title not available (Why is that?)
- Nested Petri nets: modeling and analysis of distributed systems with object structure
- Modeling business processes. A Petri net-oriented approach
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Liveness enforcement for production systems modeled by time Petri nets
- Discrete, Continuous, and Hybrid Petri Nets
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)
