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
From MaRDI portal
Publication:1089322
zbMath0619.00023MaRDI QIDQ1089322
No author found.
Publication date: 1987
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
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)
Related Items
Net operations, On occurrence net semantics for petri nets with contacts, Normalization of place/transition-systems preserves net behaviour, A compositional dataflow semantics for Petri nets, Dataflow semantics for Petri nets, A fully abstract semantics for termination in Petri nets, Partial (set) 2-structures. II: State spaces of concurrent systems, Unnamed Item, Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture, An algebraic characterisation of elementary net system (observable) state space, A well-structured framework for analysing Petri net extensions, Unnamed Item, Models and logics for true concurrency., Failures semantics based on interval semiwords is a congruence for refinement
