The following pages link to (Q4525284):
Displaying 28 items.
- Error-correcting Petri nets (Q553909) (← links)
- Deciding bisimulation and trace equivalences for systems with many identical processes (Q672063) (← links)
- Undecidability of bisimilarity for Petri nets and some related problems (Q672326) (← links)
- On the computational complexity of bisimulation, redux (Q703845) (← links)
- On reachability equivalence for BPP-nets (Q1391745) (← links)
- Decidability of bisimilarity for one-counter processes. (Q1854338) (← links)
- The synthesis problem of Petri nets (Q1901703) (← links)
- Petri nets and regular processes (Q1970202) (← links)
- On the fluidization of Petri nets and marking homothecy (Q2252988) (← links)
- Factorisation of Petri net solvable transition systems (Q2280180) (← links)
- Undecidable equivalences for basic parallel processes (Q2389334) (← links)
- Debits and Credits in Petri Nets and Linear Logic (Q2945703) (← links)
- Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems (Q3449627) (← links)
- On the Expressive Power of Restriction and Priorities in CCS with Replication (Q3617733) (← links)
- (Q4298229) (← links)
- (Q4527145) (← links)
- Bisimulation equivalence is decidable for one-counter processes (Q4571985) (← links)
- Behavioural equivalence for infinite systems — Partially decidable! (Q4633177) (← links)
- Petri nets, commutative context-free grammars, and basic parallel processes (Q5055893) (← links)
- On the Approximation of the Resource Equivalences in Petri Nets with the Invisible Transitions (Q5060067) (← links)
- High undecidability of weak bisimilarity for Petri nets (Q5096742) (← links)
- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application (Q5166771) (← links)
- Pushdown automata, multiset automata, and Petri nets (Q5941098) (← links)
- Infinite results (Q6104374) (← links)
- An Axiomatisation of Duplication Equivalence in the Petri Box Calculus (Q6487391) (← links)
- Automated polyhedral abstraction proving (Q6535199) (← links)
- Decidability results in automata and process theory (Q6560390) (← links)
- Weak bisimulation and model checking for basic parallel processes (Q6567759) (← links)
