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

MaRDI QIDQ1089322zbMATH OpenFDO

Authors

Publication date 1987

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

zbMATH Keywords

Bad Honnef/GermanyCentral modelsPetri 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)

Recommendations

• 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
• 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)
• scientific article; zbMATH DE number 3922334
• scientific article; zbMATH DE number 3885321
• Advances in Petri nets 1989. 9th European workshop on applications and theory of Petri nets, Venice, Italy in June 1988. Proceedings

Cited in

(17)

• 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
• An algebraic characterisation of elementary net system (observable) state space
• Net operations
• A well-structured framework for analysing Petri net extensions
• A compositional dataflow semantics for Petri nets
• scientific article; zbMATH DE number 4024802 (Why is no real title available?)
• Normalization of place/transition-systems preserves net behaviour
• scientific article; zbMATH DE number 1231483 (Why is no real title available?)
• Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture
• Event structures for Petri nets with persistence
• On occurrence net semantics for petri nets with contacts
• Dataflow semantics for Petri nets
• A fully abstract semantics for termination in Petri nets
• Models and logics for true concurrency.
• On the abstraction of coloured Petri Nets
• Failures semantics based on interval semiwords is a congruence for refinement
• Partial (set) 2-structures. II: State spaces of concurrent systems

This page was built for publication: 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

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