The following pages link to Raymond Devillers (Q218984):
Displaying 37 items.
- Liu and Layland's schedulability test revisited (Q294728) (← links)
- Characterisation of the state spaces of marked graph Petri nets (Q515678) (← links)
- Boundedness undecidability for synchronized nets (Q845725) (← links)
- A compositional Petri net translation of general \(\pi\)-calculus terms (Q939164) (← links)
- Concurrent and maximally concurrent evolution of nonsequential systems (Q1083185) (← links)
- Sequential and concurrent behaviour in Petri net theory (Q1119024) (← links)
- Maximality preserving bisimulation (Q1193655) (← links)
- General parameterised refinement and recursion for the M-net calculus (Q1399968) (← links)
- Petri net algebra (Q1573598) (← links)
- Factorisation of transition systems (Q1647774) (← links)
- On liveness and deadlockability in subclasses of weighted Petri nets (Q1662542) (← links)
- Bounded choice-free Petri net synthesis: algorithmic issues (Q1789066) (← links)
- The box algebra = Petri nets + process expressions (Q1854558) (← links)
- S-invariant analysis of general recursive Petri boxes (Q1894677) (← links)
- Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond (Q2032839) (← links)
- Synthesis of weighted marked graphs from constrained labelled transition systems: a geometric approach (Q2032916) (← links)
- Synthesis of (choice-free) reset nets (Q2117175) (← links)
- Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues (Q2165238) (← links)
- Synthesis and reengineering of persistent systems (Q2257983) (← links)
- Analysis and synthesis of weighted marked graph Petri nets (Q2280177) (← links)
- Factorisation of Petri net solvable transition systems (Q2280180) (← links)
- State space axioms for T-systems (Q2340253) (← links)
- Equality of agent expressions is preserved under an extension of the universe of actions (Q2366167) (← links)
- Realization of Petri nets without conditional statements (Q2563016) (← links)
- Concurrent bisimulations in Petri nets (Q2639636) (← links)
- (Q2760251) (← links)
- Synthesis of Live and Bounded Persistent Systems (Q2803576) (← links)
- Minimal Elements for the Prime Numbers (Q2815500) (← links)
- The Power of Prime Cycles (Q2822651) (← links)
- (Q2852064) (← links)
- A Graph-Theoretical Characterisation of State Separation (Q2971132) (← links)
- An Algebra of Non-safe Petri Boxes (Q2996143) (← links)
- A Petri Net Interpretation of Open Reconfigurable Systems (Q3011889) (← links)
- Hashing techniques, a global approach (Q3048279) (← links)
- Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters (Q5179054) (← links)
- (Q5357699) (← links)
- On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets (Q6070613) (← links)
