scientific article; zbMATH DE number 193318
From MaRDI portal
Publication:4040147
commented bibliographyconcurrent systemsexercisesformal theory of parallel systemsinterleaving semanticsoccurrence netspartially ordered setsPetri netsprocesses
Partial orders, general (06A06) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of operating systems (68N25) Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cited in
(66)- M-nets: a survey
- A rigorous methodology for specification and verification of business processes
- Sequential and concurrent behaviour in Petri net theory
- Concurrent systems and inevitability
- Executions: A new partial-order semantics of Petri nets
- Elementary transition systems
- Operational and denotational semantics for the box algebra
- A uniform approach to true-concurrency and interleaving semantics for Petri nets
- Semi-traces and processes of Petri nets
- Finite Petri nets as models for recursive causal behaviour
- Abstract fairness and semantics
- Process languages and nets
- A causal semantic for time Petri nets
- Paradigms of concurrency. Observations, behaviours and systems -- a Petri net view
- Combining free choice and time in Petri nets
- An extension of the taxonomy of persistent and nonviolent steps
- Petri net reactive modules
- A Petri net model for membrane systems with dynamic structure
- Mutex needs fairness
- Maximal confluent processes
- scientific article; zbMATH DE number 3846886 (Why is no real title available?)
- The non-sequential behaviour of Petri nets
- Inevitability in diamond processes
- Orthomodular Lattices in Occurrence Nets
- scientific article; zbMATH DE number 3902007 (Why is no real title available?)
- scientific article; zbMATH DE number 3902012 (Why is no real title available?)
- scientific article; zbMATH DE number 3909720 (Why is no real title available?)
- scientific article; zbMATH DE number 3974309 (Why is no real title available?)
- scientific article; zbMATH DE number 4035158 (Why is no real title available?)
- scientific article; zbMATH DE number 4047057 (Why is no real title available?)
- scientific article; zbMATH DE number 4047138 (Why is no real title available?)
- Modular construction and partial order semantics of Petri nets
- scientific article; zbMATH DE number 44349 (Why is no real title available?)
- scientific article; zbMATH DE number 522857 (Why is no real title available?)
- On the Analysis of Petri Nets and their Synthesis from Process Languages
- Arc-typed Petri Nets
- Solving recursive net equations
- scientific article; zbMATH DE number 785044 (Why is no real title available?)
- Model checking using net unfoldings
- Modelling concurrency with semi-commutations
- Petri games: synthesis of distributed systems with causal memory
- A trace semantics for Petri Nets
- Closed sets in occurrence nets with conflicts
- Concurrency-preserving minimal process representation
- Inheritance of behavior
- Algebraic nets with flexible arcs
- Process semantics of general inhibitor nets
- Algebraic characterization of petri net pomset semantics
- The asynchronous committee meeting problem
- Time processes for time Petri nets
- Petri's axioms of concurrency a selection of recent results
- A compositional partial order semantics for Petri net components
- Thinking in Cycles
- Flexibility in Algebraic Nets
- ESTL: A Temporal Logic for Events and States
- Concurrent hyperproperties
- Whole-grain Petri nets and processes
- Processes in cause-effect structures
- Complexity results for 1-safe nets
- Trapping mutual exclusion in the box calculus
- Bisimulation and action refinement
- Model checking distributed temporal logic
- Concurrent -hyperproperties
- D-continuous causal nets: A model of non-sequential processes
- Partial order behaviour and structure of Petri nets
- Processes of membrane systems with promoters and inhibitors
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)
