Design and verification of pipelined circuits with Timed Petri Nets von Parrot, Rémi, Briday, Mikaël, Roux, Olivier H.

Volltext

Structural translation from Time Petri Nets to Timed Automata von Cassez, Franck, Roux, Olivier H.

Volltext

Control of Real-Time Systems With Integer Parameters von Jovanovic, Aleksandra, Lime, Didier, Roux, Olivier H.

Volltext

Formal verification of real-time systems with preemptive scheduling von Lime, Didier, Roux, Olivier (H. )

Volltext

Comparison of the Expressiveness of Timed Automata and Time Petri Nets von Bérard, Beatrice, Cassez, Franck, Haddad, Serge, Lime, Didier, Roux, Olivier H.

Volltext

Communicating Embedded Systems: Software and Design von Jard, Claude, Roux, Olivier H

Volltext

Reachability and liveness in parametric timed automata von André, Étienne, Lime, Didier, Roux, Olivier H.

Volltext

Analysis and Synthesis of Weighted Marked Graph Petri Nets von Devillers, Raymond, Hujsa, Thomas

Volltext

Factorisation of Petri Net Solvable Transition Systems von Devillers, Raymond, Schlachter, Uli

Volltext

Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions von van der Aalst, Wil M. P.

Volltext

GreatTeach: A Tool for Teaching (Stochastic) Petri Nets von Amparore, Elvio Gilberto, Donatelli, Susanna

Volltext

Decision Problems for Parametric Timed Automata von André, Étienne, Lime, Didier, Roux, Olivier H.

Volltext

Communicating embedded systems: software and design : formal methods von Jard, Claude, Roux, Olivier H

Volltext

Petri Net Model Checking with LoLA 2 von Wolf, Karsten

Volltext

A State Class Based Controller Synthesis Approach for Time Petri Nets von Leclercq, Loriane, Lime, Didier, Roux, Olivier H.

Volltext

Arduino Library Developed for Petri Net Inserted into RFID Database and Variants von da Silva, Carlos Eduardo Alves, de Souza Tavares, José Jean-Paul Zanlucchi, Ferreira, Marco Vinícius Muniz

Volltext

Logical time control of concurrent DES von Béchennec, Jean-Luc, Lime, Didier, Roux, Olivier H.

Volltext

Timed Non-interference Under Partial Observability and Bounded Memory von Spriet, Anthony, Lime, Didier, Roux, Olivier H.

Volltext

TCTL Model Checking of Time Petri Nets von Boucheneb, Hanifa, Gardey, Guillaume, Roux, Olivier H.

Volltext

On-line compositional controller synthesis for AGV von Girault, Johan, Loiseau, Jean-Jacques, Roux, Olivier H.

Volltext