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

zbMath0434.68040MaRDI QIDQ1139934

No author found.

Publication date: 1980

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

zbMATH Keywords

ProceedingsreachabilitylivenessreductionPetri netsCourseSystemsconcurrencycyclicityatomicityProcesseshierarchical modellingAdvanced Coursecategory of netsdictionary of basic notionsgeneral net theory of processes and systemsHamburglinear algebraic characterizationNet theorypath programssynchronization systems

Mathematics Subject Classification ID

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)

Related Items

On coordinated selective substitutions: Towards a unified theory of grammars and machines ⋮ CTS systems and Petri nets ⋮ Petri nets, algebras, morphisms, and compositionality ⋮ Cause-effect structures ⋮ The equational theory of pomsets ⋮ Sequential and concurrent behaviour in Petri net theory ⋮ Homothecy, bifurcations, continuity and monotonicity in timed continuous Petri nets under infinite server semantics ⋮ Fairness and communication-based semantics for session-typed languages ⋮ Structure theory of equal conflict systems ⋮ Semi-commutations and Petri nets ⋮ Subset languages of Petri nets. I: The relationship to string languages and normal forms ⋮ Super-nets and their hierarchy ⋮ A method for stepwise refinement and abstraction of Petri nets ⋮ Nets, sequential components and concurrency relations ⋮ Fairness and conspiracies