The non-sequential behaviour of Petri nets
From MaRDI portal
Recommendations
Cited in
(89)- M-nets: a survey
- Executability of scenarios in Petri nets
- Concurrent histories: a basis for observing distributed systems
- Partial ordering models for concurrency can be defined operationally
- Sequential and concurrent behaviour in Petri net theory
- Concurrent systems and inevitability
- Concurrency and atomicity
- Branching processes of Petri nets
- Executions: A new partial-order semantics of Petri nets
- Automatizing parametric reasoning on distributed concurrent systems
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
- Interval semantics for Petri nets with inhibitor arcs
- Models and languages for description of parallel processes
- On interleaving behaviour of PT-nets
- Zero-safe nets: Comparing the collective and individual token approaches.
- Functorial models for Petri nets
- A Petri nets semantics for data flow networks
- Abstract processes of place/transition systems
- Spreading nets: a uniform approach to unfoldings
- Abstract processes and conflicts in place/transition systems
- A study on team bisimulation and H-team bisimulation for BPP nets
- Abstract processes in the absence of conflicts in general place/transition systems
- Pomset bisimulation and unfolding for reset Petri nets
- Bayesian network semantics for Petri nets
- Combining free choice and time in Petri nets
- On the expressiveness of higher dimensional automata
- A Petri net model for membrane systems with dynamic structure
- Mutex needs fairness
- On interval process semantics of Petri nets with inhibitor arcs
- Comparative trace semantics of time Petri nets
- On causal semantics of Petri nets (extended abstract)
- scientific article; zbMATH DE number 3846886 (Why is no real title available?)
- Structure preserving bisimilarity, supporting an operational Petri net semantics of CCSP
- Unfolding Graph Transformation Systems: Theory and Applications to Verification
- Non-sequential Behaviour of Dynamic Nets
- A Formal Model for Organisational Structures behind Process-Aware Information Systems
- Unifying Petri Net Semantics with Token Flows
- scientific article; zbMATH DE number 3896328 (Why is no real title available?)
- scientific article; zbMATH DE number 4037220 (Why is no real title available?)
- scientific article; zbMATH DE number 4047138 (Why is no real title available?)
- scientific article; zbMATH DE number 4056991 (Why is no real title available?)
- scientific article; zbMATH DE number 4074505 (Why is no real title available?)
- scientific article; zbMATH DE number 4085041 (Why is no real title available?)
- scientific article; zbMATH DE number 4087033 (Why is no real title available?)
- An extension of the notions of traces and of asynchronous automata
- scientific article; zbMATH DE number 193318 (Why is no real title available?)
- Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes
- scientific article; zbMATH DE number 522857 (Why is no real title available?)
- On the Analysis of Petri Nets and their Synthesis from Process Languages
- Non sequential semantics for contextual P/T nets
- Arc-typed Petri Nets
- A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).
- Unifying Petri nets with restricted occurrence rule using partial algebra
- Concurrency for Graph Grammars in a Petri net shell
- A new operational representation of dependencies in event structures
- Minimal transition systems for history-preserving bisimulation
- Axiomatizing Petri net concatenable processes
- Timed processes of timed Petri nets
- On the category of Petri net computations
- A Study on Team Bisimulations for BPP Nets
- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems
- A trace semantics for Petri Nets
- scientific article; zbMATH DE number 7147446 (Why is no real title available?)
- Petri Nets Are Dioids
- Compositional process semantics of Petri Boxes
- Algebraic nets with flexible arcs
- Process semantics of general inhibitor nets
- Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
- On Interval Semantics of Inhibitor and Activator Nets
- Concurrent graph and term graph rewriting
- A compositional partial order semantics for Petri net components
- Flexibility in Algebraic Nets
- ESTL: A Temporal Logic for Events and States
- Computing a parametric reveals relation for bounded equal-conflict Petri nets
- Whole-grain Petri nets and processes
- Model checking reversible systems: forwardly
- An axiomatization of the algebra of Petri net concatenable processes
- A multiset semantics for the pi-calculus with replication
- Process versus unfolding semantics for Place/Transition Petri nets
- On the implementation of concurrent calculi in net calculi: two case studies
- Failures semantics based on interval semiwords is a congruence for refinement
- Configuration structures, event structures and Petri nets
- Unfolding semantics of graph transformation
- Untanglings: a novel approach to analyzing concurrent systems
- Partial order behaviour and structure of Petri nets
- A partial ordering semantics for CCS
- Petri nets are monoids
- Subobject transformation systems
- Processes of membrane systems with promoters and inhibitors
This page was built for publication: The non-sequential behaviour of Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3343446)
