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
zbMATH Open0619.00023MaRDI QIDQ1089322FDOQ1089322
Authors:
Publication date: 1987
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
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
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)
Cited In (17)
- Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture
- Failures semantics based on interval semiwords is a congruence for refinement
- Dataflow semantics for Petri nets
- On the abstraction of coloured Petri Nets
- Title not available (Why is that?)
- A fully abstract semantics for termination in Petri nets
- Event structures for Petri nets with persistence
- Partial (set) 2-structures. II: State spaces of concurrent systems
- Normalization of place/transition-systems preserves net behaviour
- A compositional dataflow semantics for Petri nets
- Models and logics for true concurrency.
- A well-structured framework for analysing Petri net extensions
- Net operations
- 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
- On occurrence net semantics for petri nets with contacts
- An algebraic characterisation of elementary net system (observable) state space
- Title not available (Why is that?)
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)
