Pages that link to "Item:Q1889762"
From MaRDI portal
The following pages link to Canonical prefixes of Petri net unfoldings (Q1889762):
Displaying 28 items.
- Computing the reveals relation in occurrence nets (Q391112) (← links)
- Recent advances in unfolding technique (Q403021) (← links)
- Efficient unfolding of contextual Petri nets (Q443729) (← links)
- Petri games: synthesis of distributed systems with causal memory (Q515654) (← links)
- Merged processes: a new condensed representation of Petri net behaviour (Q854679) (← links)
- Verification of bounded Petri nets using integer programming (Q878111) (← links)
- Untanglings: a novel approach to analyzing concurrent systems (Q903488) (← links)
- A compositional Petri net translation of general \(\pi\)-calculus terms (Q939164) (← links)
- A theory of structural stationarity in the \(\pi\)-calculus (Q1014276) (← links)
- STG decomposition strategies in combination with unfolding (Q1031867) (← links)
- Multilevel transitive and intransitive non-interference, causally (Q1680560) (← links)
- Spreading nets: a uniform approach to unfoldings (Q1987731) (← links)
- Generalized mapping for multiset rewriting systems (Q2100284) (← links)
- Deadlock detection-oriented unfolding of unbounded Petri nets (Q2215072) (← links)
- ``Truly concurrent'' and nondeterministic semantics of discrete-time Petri nets (Q2216716) (← links)
- Observable liveness of Petri nets (Q2340254) (← links)
- On the well-foundedness of adequate orders used for construction of complete unfolding prefixes (Q2380011) (← links)
- An algebraic approach to revising propositional rule-based knowledge bases (Q2425850) (← links)
- Trellis processes: a compact representation for runs of concurrent systems (Q2465670) (← links)
- An Algorithm for Direct Construction of Complete Merged Processes (Q3011883) (← links)
- Branching Processes of Timed Petri Nets (Q3179184) (← links)
- Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems (Q3297600) (← links)
- Directed Unfolding of Petri Nets (Q3599218) (← links)
- (Q5111631) (← links)
- Flow Unfolding of Multi-clock Nets (Q5166763) (← links)
- Non-interference by Unfolding (Q5166764) (← links)
- Towards Efficient Verification of Systems with Dynamic Process Creation (Q5505602) (← links)
- A Practical Approach to Verification of Mobile Systems Using Net Unfoldings (Q5900141) (← links)
