Lectures on concurrency and Petri nets. Advances in Petri nets.
DOI10.1007/B98282zbMATH Open1052.68003OpenAlexW78026558MaRDI QIDQ704167FDOQ704167
Authors:
Publication date: 13 January 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98282
Recommendations
- scientific article; zbMATH DE number 4012518
- Lectures on Petri nets. 1: Basic models. Advances in Petri nets
- Concurrency and hardware design. Advances in Petri nets
- Petri nets. Theoretical models and analysis methods for concurrent systems
- scientific article; zbMATH DE number 554482
- Petri nets. Fundamental models, verification and applications.
- Transactions on Petri Nets and Other Models of Concurrency IX.
- scientific article; zbMATH DE number 1302049
- Transactions on Petri nets and other models of concurrency. VI
- Unifying Petri nets. Advances in Petri nets
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (10)
- Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities
- Localities in systems with a/sync communication
- On the topological complexity of \(\omega\)-languages of non-deterministic Petri nets
- Processes of membrane systems with promoters and inhibitors
- Concurrency and hardware design. Advances in Petri nets
- A spectral property for concurrent systems and some probabilistic applications
- A Petri net model for membrane systems with dynamic structure
- Teaching Concurrency Concepts to Freshmen
- On the high complexity of Petri nets \(\omega \)-languages
- The Wadge hierarchy of Petri nets \(\omega\)-languages
This page was built for publication: Lectures on concurrency and Petri nets. Advances in Petri nets.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q704167)
