Recommendations
Cited in
(32)- A compositional Petri net translation of general \(\pi\)-calculus terms
- STG decomposition strategies in combination with unfolding
- Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets
- scientific article; zbMATH DE number 1903382 (Why is no real title available?)
- Non-interference by unfolding
- Flow unfolding of multi-clock nets
- Branching processes of timed Petri nets
- Computing the reveals relation in occurrence nets
- Untanglings: a novel approach to analyzing concurrent systems
- Verification of bounded Petri nets using integer programming
- Merged processes: a new condensed representation of Petri net behaviour
- Spreading nets: a uniform approach to unfoldings
- Recent advances in unfolding technique
- Efficient unfolding of contextual Petri nets
- A theory of structural stationarity in the \(\pi\)-calculus
- Taking complete finite prefixes to high level, symbolically
- Directed Unfolding of Petri Nets
- On the well-foundedness of adequate orders used for construction of complete unfolding prefixes
- Trellis processes: a compact representation for runs of concurrent systems
- Goal-driven unfolding of Petri nets
- Model checking reversible systems: forwardly
- Multilevel transitive and intransitive non-interference, causally
- Generalized mapping for multiset rewriting systems
- A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
- Petri games: synthesis of distributed systems with causal memory
- ``Truly concurrent and nondeterministic semantics of discrete-time Petri nets
- Observable liveness of Petri nets
- An algebraic approach to revising propositional rule-based knowledge bases
- Deadlock detection-oriented unfolding of unbounded Petri nets
- Towards Efficient Verification of Systems with Dynamic Process Creation
- An algorithm for direct construction of complete merged processes
- Efficient trace encodings of bounded synthesis for asynchronous distributed systems
This page was built for publication: Canonical prefixes of Petri net unfoldings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1889762)
