scientific article
zbMATH Open0656.68005MaRDI QIDQ4040147FDOQ4040147
Publication date: 5 June 1993
Title of this publication is not available (Why is that?)
Recommendations
Petri netspartially ordered setsprocessesconcurrent systemsexercisesinterleaving semanticscommented bibliographyoccurrence netsformal theory of parallel systems
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Formal languages and automata (68Q45) Partial orders, general (06A06) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Cited In (56)
- Petri's axioms of concurrency a selection of recent results
- Partial order behaviour and structure of Petri nets
- A compositional partial order semantics for Petri net components
- A uniform approach to true-concurrency and interleaving semantics for Petri nets
- Operational and denotational semantics for the box algebra
- Whole-grain Petri nets and processes
- Abstract fairness and semantics
- Title not available (Why is that?)
- A causal semantic for time Petri nets
- The asynchronous committee meeting problem
- Finite Petri nets as models for recursive causal behaviour
- Processes in cause-effect structures
- Orthomodular Lattices in Occurrence Nets
- Algebraic characterization of petri net pomset semantics
- Inheritance of behavior
- Process semantics of general inhibitor nets
- ESTL: A Temporal Logic for Events and States
- Arc-typed Petri Nets
- Inevitability in diamond processes
- Mutex needs fairness
- Concurrent systems and inevitability
- Processes of membrane systems with promoters and inhibitors
- Title not available (Why is that?)
- A trace semantics for Petri Nets
- Sequential and concurrent behaviour in Petri net theory
- Trapping mutual exclusion in the box calculus
- M-nets: a survey
- Concurrency-Preserving Minimal Process Representation
- Elementary transition systems
- Flexibility in Algebraic Nets
- Title not available (Why is that?)
- Executions: A new partial-order semantics of Petri nets
- Title not available (Why is that?)
- Time processes for time Petri nets
- Title not available (Why is that?)
- Complexity results for 1-safe nets
- A rigorous methodology for specification and verification of business processes
- Petri net reactive modules
- Combining free choice and time in Petri nets
- A Petri net model for membrane systems with dynamic structure
- Title not available (Why is that?)
- Thinking in Cycles
- D-continuous causal nets: A model of non-sequential processes
- Model checking using net unfoldings
- Bisimulation and action refinement
- Process languages and nets
- Title not available (Why is that?)
- Concurrent hyperproperties
- Algebraic nets with flexible arcs
- Solving recursive net equations
- Petri games: synthesis of distributed systems with causal memory
- The non-sequential behaviour of Petri nets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the Analysis of Petri Nets and their Synthesis from Process Languages
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4040147)
