The following pages link to (Q4858945):
Displaying 27 items.
- Properties of enhanced mobile membranes via coloured Petri nets (Q437686) (← links)
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- Petri nets for modelling metabolic pathways: a survey (Q609029) (← links)
- Verification of well-formed communicating recursive state machines (Q944388) (← links)
- A new type system for JVM lock primitives (Q949169) (← links)
- Program schemes, arrays, Lindström quantifiers and zero-one laws (Q1606129) (← links)
- Small vertex cover makes Petri net coverability and boundedness easier (Q1949744) (← links)
- The polynomial complexity of vector addition systems with states (Q2200853) (← links)
- Finding cut-offs in leaderless rendez-vous protocols is easy (Q2233393) (← links)
- Computation in networks of passively mobile finite-state sensors (Q2375293) (← links)
- A type system for lock-free processes (Q2497143) (← links)
- A general approach to comparing infinite-state systems with their finite-state specifications (Q2503044) (← links)
- State space analysis of Petri nets with relation-algebraic methods (Q2518607) (← links)
- Liveness in broadcast networks (Q2676223) (← links)
- Reachability Problems for Continuous Chemical Reaction Networks (Q2819133) (← links)
- Synthesis and Analysis of Product-Form Petri Nets (Q3011895) (← links)
- Encoding Asynchronous Interactions Using Open Petri Nets (Q3184668) (← links)
- Analyzing Reachability for Some Petri Nets With Fast Growing Markings (Q4982096) (← links)
- Petri nets, commutative context-free grammars, and basic parallel processes (Q5055893) (← links)
- (Q5074777) (← links)
- (Q5111264) (← links)
- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application (Q5166771) (← links)
- Acyclic and Cyclic Reversing Computations in Petri Nets (Q5862345) (← links)
- Nonprimitive recursive complexity and undecidability for Petri net equivalences (Q5941099) (← links)
- Inheritance of behavior (Q5943265) (← links)
- Inheritance of workflows: An approach to tackling problems related to change (Q5958305) (← links)
- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy (Q6076175) (← links)
