Branching processes of Petri nets
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3896316 (Why is no real title available?)
- scientific article; zbMATH DE number 4030999 (Why is no real title available?)
- scientific article; zbMATH DE number 4060688 (Why is no real title available?)
- Petri nets with individual tokens
- Petri nets, event structures and domains. I
- The non-sequential behaviour of Petri nets
Cited in
(76)- An algebraic characterization of independence of Petri net processes
- A causal semantic for time Petri nets
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
- Distributed monitoring of concurrent and asynchronous systems
- Clustering for Petri nets
- Abstract processes of place/transition systems
- Spreading nets: a uniform approach to unfoldings
- A two-player asynchronous game on fully observable Petri nets
- Abstract processes and conflicts in place/transition systems
- A study on team bisimulation and H-team bisimulation for BPP nets
- The synthesis problem for repeatedly communicating Petri games
- Solving high-level Petri games
- Deadlock detection-oriented unfolding of unbounded Petri nets
- ``Truly concurrent and nondeterministic semantics of discrete-time Petri nets
- Combining free choice and time in Petri nets
- Observable liveness of Petri nets
- On the well-foundedness of adequate orders used for construction of complete unfolding prefixes
- Parameter space abstraction and unfolding semantics of discrete regulatory networks
- Trellis processes: a compact representation for runs of concurrent systems
- On the expressiveness of higher dimensional automata
- Maximal confluent processes
- Non-atomic transition firing in contextual nets
- Comparative trace semantics of time Petri nets
- An algorithm for direct construction of complete merged processes
- How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings
- Branching Processes of General Petri Nets
- On causal semantics of Petri nets (extended abstract)
- On the expressive power of behavioral profiles
- Branching processes of timed Petri nets
- Model checking data flows in concurrent network updates
- Structure preserving bisimilarity, supporting an operational Petri net semantics of CCSP
- Calculi of net structures and sets are similar
- What topology tells us about diagnosability in partial order semantics
- McMillan’s Complete Prefix for Contextual Nets
- Oclets – Scenario-Based Modeling with Petri Nets
- Efficient semantics-based compliance checking using LTL formulae and unfolding
- Critical paths in the partial order unfolding of a stochastic Petri net
- Computing the reveals relation in occurrence nets
- Recent advances in unfolding technique
- scientific article; zbMATH DE number 522857 (Why is no real title available?)
- scientific article; zbMATH DE number 1956601 (Why is no real title available?)
- scientific article; zbMATH DE number 2059843 (Why is no real title available?)
- Branching processes of general Petri nets
- Model checking using net unfoldings
- Hyper partial order logic
- A Study on Team Bisimulations for BPP Nets
- Petri games: synthesis of distributed systems with causal memory
- Flow unfolding of multi-clock nets
- Adding branching to the strand space model
- A trace semantics for Petri Nets
- Non-interference notions based on reveals and excludes relations for Petri nets
- Petri Nets Are Dioids
- Merging relations: a way to compact Petri nets' behaviors uniformly
- Translating asynchronous games for distributed synthesis
- Denotational, causal, and operational determinism in event structures
- Compositional process semantics of Petri Boxes
- High-level representation of benchmark families for Petri games
- Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
- Generalized Alignment-Based Trace Clustering of Process Behavior
- Describing Behavior of Processes with Many-to-Many Interactions
- Time processes for time Petri nets
- Taking complete finite prefixes to high level, symbolically
- Computing a parametric reveals relation for bounded equal-conflict Petri nets
- Implementable strategies for a two-player asynchronous game on Petri nets
- Taking complete finite prefixes to high level, symbolically
- Model checking reversible systems: forwardly
- A multiset semantics for the pi-calculus with replication
- An event structure semantics for general Petri nets
- Process versus unfolding semantics for Place/Transition Petri nets
- (Un)decidability bounds of the synthesis problem for Petri games
- Unfolding of time Petri nets with non-safe underlying model
- Concurrent -hyperproperties
- Configuration structures, event structures and Petri nets
- Merged processes: a new condensed representation of Petri net behaviour
- Verification of bounded Petri nets using integer programming
- A framework for the verification of infinite-state graph transformation systems
This page was built for publication: Branching processes of Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1175711)
