The following pages link to Raymond Devillers (Q218984):
Displaying 50 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)
- A unified model for nets and process algebras (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)
- A Petri net semantics of a simple process algebra for mobility (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)
- Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets (Q3510858) (← links)
- A Petri Net Translation of π-Calculus Terms (Q3525146) (← links)
- (Q3680255) (← links)
- (Q3683545) (← links)
- (Q3875334) (← links)
- Improvement of parallelism in a finite buffer sharing policy (Q4095853) (← links)
- (Q4144165) (← links)
- Game interpretation of the deadlock avoidance problem (Q4184302) (← links)
- (Q4281515) (← links)
- (Q4436360) (← links)
- (Q4461748) (← links)
- (Q4500366) (← links)
- Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata (Q4603564) (← links)
- Simultaneous Petri Net Synthesis (Q4621223) (← links)
- On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets (Q4686523) (← links)
- A Petri Net Interpretation of Open Reconfigurable Systems (Q4914293) (← links)
