Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Ed. by Wilfried Brauer
zbMATH Open0434.68040MaRDI QIDQ1139934FDOQ1139934
Author name not available (Why is that?)
Publication date: 1980
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
cyclicityreachabilityconcurrencyPetri netsreductionatomicitylivenessProceedingsProcessesSystemshierarchical modellingCourseAdvanced Coursecategory of netsdictionary of basic notionsgeneral net theory of processes and systemsHamburglinear algebraic characterizationNet theorypath programssynchronization systems
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Conference proceedings and collections of articles (00Bxx)
Cited In (16)
- Petri's axioms of concurrency a selection of recent results
- Petri nets, algebras, morphisms, and compositionality
- A method for stepwise refinement and abstraction of Petri nets
- Sequential and concurrent behaviour in Petri net theory
- Subset languages of Petri nets. I: The relationship to string languages and normal forms
- Fairness and conspiracies
- Cause-effect structures
- The equational theory of pomsets
- Structure theory of equal conflict systems
- Fairness and communication-based semantics for session-typed languages
- Homothecy, bifurcations, continuity and monotonicity in timed continuous Petri nets under infinite server semantics
- Semi-commutations and Petri nets
- Nets, sequential components and concurrency relations
- Super-nets and their hierarchy
- On coordinated selective substitutions: Towards a unified theory of grammars and machines
- CTS systems and Petri nets
This page was built for publication: Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Ed. by Wilfried Brauer
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1139934)
