scientific article; zbMATH DE number 193318
From MaRDI portal
Publication:4040147
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)
Recommendations
Cited in
(64)- scientific article; zbMATH DE number 44349 (Why is no real title available?)
- Partial order behaviour and structure of Petri nets
- Petri's axioms of concurrency a selection of recent results
- Modular construction and partial order semantics of Petri nets
- A uniform approach to true-concurrency and interleaving semantics for Petri nets
- Operational and denotational semantics for the box algebra
- Abstract fairness and semantics
- A compositional partial order semantics for Petri net components
- scientific article; zbMATH DE number 3902012 (Why is no real title available?)
- Whole-grain Petri nets and processes
- A causal semantic for time Petri nets
- Finite Petri nets as models for recursive causal behaviour
- The asynchronous committee meeting problem
- Orthomodular Lattices in Occurrence Nets
- Processes in cause-effect structures
- Algebraic characterization of petri net pomset semantics
- Process semantics of general inhibitor nets
- Inheritance of behavior
- ESTL: A Temporal Logic for Events and States
- Arc-typed Petri Nets
- Mutex needs fairness
- Inevitability in diamond processes
- Closed sets in occurrence nets with conflicts
- Concurrent systems and inevitability
- Processes of membrane systems with promoters and inhibitors
- scientific article; zbMATH DE number 3902007 (Why is no real title available?)
- Sequential and concurrent behaviour in Petri net theory
- A trace semantics for Petri Nets
- Trapping mutual exclusion in the box calculus
- M-nets: a survey
- Elementary transition systems
- scientific article; zbMATH DE number 522857 (Why is no real title available?)
- Flexibility in Algebraic Nets
- Executions: A new partial-order semantics of Petri nets
- scientific article; zbMATH DE number 4047057 (Why is no real title available?)
- scientific article; zbMATH DE number 4035158 (Why is no real title available?)
- Maximal confluent processes
- Time processes for time Petri nets
- 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
- Modelling concurrency with semi-commutations
- scientific article; zbMATH DE number 3846886 (Why is no real title available?)
- Thinking in Cycles
- An extension of the taxonomy of persistent and nonviolent steps
- D-continuous causal nets: A model of non-sequential processes
- Concurrency-preserving minimal process representation
- Bisimulation and action refinement
- Model checking using net unfoldings
- Model checking distributed temporal logic
- Process languages and nets
- Paradigms of concurrency. Observations, behaviours and systems -- a Petri net view
- scientific article; zbMATH DE number 785044 (Why is no real title available?)
- Concurrent hyperproperties
- Petri games: synthesis of distributed systems with causal memory
- Solving recursive net equations
- Algebraic nets with flexible arcs
- The non-sequential behaviour of Petri nets
- scientific article; zbMATH DE number 3974309 (Why is no real title available?)
- scientific article; zbMATH DE number 4047138 (Why is no real title available?)
- scientific article; zbMATH DE number 3909720 (Why is no real title available?)
- 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)
