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