Lectures on concurrency and Petri nets. Advances in Petri nets.

DOI10.1007/B98282MaRDI QIDQ704167zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

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

Cited in

(10)

• The Wadge hierarchy of Petri nets \(\omega\)-languages
• Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities
• Localities in systems with a/sync communication
• Processes of membrane systems with promoters and inhibitors
• On the topological complexity of \(\omega\)-languages of non-deterministic Petri nets
• 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

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)