Petri nets: applications and relationships to other models of concurrency. Advances in Petri nets 1986, Part II. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986

MaRDI QIDQ1089323zbMATH OpenFDO

Authors

Publication date 1987

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Bad Honnef/GermanyConcurrencyPetri netsProceedings

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) 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)

Review text

The articles of this volume will be reviewed individually under the abbreviation Petri nets: applications and relationships to other models of concurrency, Proc. Adv. Course, Bad Honnef/FRG 1986, Lect. Notes Comput. Sci. 255.

Recommendations

• Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
• Advances in Petri nets 1985. (Selected papers from the 6th European Workshop on applications and Theory of Petri Nets held in Espoo, Finland in June 1985)
• Application and theory of Petri nets and concurrency. PETRI NETS 2013. Preface
• Application and theory of Petri nets and other models of concurrency: special issue of selected papers from Petri Nets 2015. Preface
• scientific article; zbMATH DE number 1302049

Cited in

(11)

• Advances in Petri nets 1985. (Selected papers from the 6th European Workshop on applications and Theory of Petri Nets held in Espoo, Finland in June 1985)
• Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
• Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
• Synchronous structures
• scientific article; zbMATH DE number 4024802 (Why is no real title available?)
• Actor grammars
• scientific article; zbMATH DE number 1161978 (Why is no real title available?)
• Order algebras: a quantitative model of interaction
• Advances in Petri nets 1984. (Workshops Toulouse 1983 and Aarhus 1984). With the cooperation of H. Genrich and G. Roucairol
• Partial (set) 2-structures. II: State spaces of concurrent systems
• Some behavioural aspects of net theory

This page was built for publication: Petri nets: applications and relationships to other models of concurrency. Advances in Petri nets 1986, Part II. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986

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