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)

Review text

The articles of this volume will be reviewed individually under the abbreviation Petri nets: central models and their properties, Proc. Adv. Course, Bad Honnef/FRG 1986, Lect. Notes Comput. Sci. 254.

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)