The following pages link to Philippe Darondeau (Q557785):
Displaying 50 items.
- Transition systems without transitions (Q557786) (← links)
- Refinement of actions in event structures and causal trees (Q688717) (← links)
- On guarded recursion (Q805246) (← links)
- Petri net synthesis (Q897109) (← links)
- A decomposition theorem for finite persistent transition systems (Q1015394) (← links)
- (Q1041758) (redirect page) (← links)
- Equality of languages coincides with isomorphism of reachable state graphs for bounded and persistent Petri nets (Q1041759) (← links)
- About fair asynchrony (Q1085603) (← links)
- Proof systems for infinite behaviours (Q1193598) (← links)
- Fairness, distances and degrees (Q1193862) (← links)
- Context-free event domains are recognizable (Q1286370) (← links)
- The synthesis problem for elementary net systems is NP-complete (Q1389765) (← links)
- Distributing finite automata through Petri net synthesis (Q1849592) (← links)
- Linear control of live marked graphs (Q1868050) (← links)
- The synthesis of Petri nets from path-automatic specifications (Q1882929) (← links)
- Trace nets and process automata (Q1902303) (← links)
- Quasi-static scheduling of communicating tasks (Q1959479) (← links)
- Enforcing opacity of regular predicates on modal transition systems (Q2348369) (← links)
- Concurrent secrets (Q2465424) (← links)
- (Q2766548) (← links)
- Deciding Selective Declassification of Petri Nets (Q2894328) (← links)
- (Q2911619) (← links)
- (Q3152842) (← links)
- Petri Net Reachability Graphs: Decidability Status of First Order Properties (Q3166230) (← links)
- Assembling Sessions (Q3172919) (← links)
- (Q3225713) (← links)
- (Q3348429) (← links)
- (Q3359754) (← links)
- Petri Net Distributability (Q3457969) (← links)
- (Q3504339) (← links)
- On the Synthesis of Zero-Safe Nets (Q3507377) (← links)
- Decomposition Theorems for Bounded Persistent Petri Nets (Q3510855) (← links)
- Quasi-Static Scheduling of Communicating Tasks (Q3541026) (← links)
- Separability in Persistent Petri Nets (Q3569870) (← links)
- (Q3678656) (← links)
- (Q3700807) (← links)
- (Q4247291) (← links)
- (Q4251924) (← links)
- (Q4421727) (← links)
- (Q4532079) (← links)
- (Q4721642) (← links)
- Distributed Control of Discrete-Event Systems: A First Step (Q4909348) (← links)
- Supervisory Control for Opacity (Q4978803) (← links)
- Stratified petri nets (Q5055926) (← links)
- Dualities between nets and automata induced by schizophrenic objects (Q5057464) (← links)
- Context-free event domains are recognizable (Q5096387) (← links)
- Polynomial algorithms for the synthesis of bounded nets (Q5096743) (← links)
- (Q5190771) (← links)
- (Q5431913) (← links)
- Products of Message Sequence Charts (Q5458379) (← links)
