| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Denis Poitrenaud 10 Jean-Michel Couvreur , Emmanuelle Encrenaz , Emmanuel Paviot-Adet , Denis Poitrenaud, Pierre-André Wacrenier : Data Decision Diagrams for Petri Net Analysis. ICATPN 2002 : 101-120 9 Jean-Michel Couvreur , Sébastien Grivet , Denis Poitrenaud: Unfolding of Products of Symmetrical Petri Nets. ICATPN 2001 : 121-143 8 Serge Haddad , Denis Poitrenaud: Checking Linear Temporal Formulas on Sequential Recursive Petri Nets. TIME 2001 : 198-205 7 Luciana Bezerra Arantes , Denis Poitrenaud, Pierre Sens , Bertil Folliot : The Barrier-Lock Clock: A Scalable Synchronization-Oriented Logical Clock. Parallel Processing Letters 11 (1): 65-76 (2001) 6 Jean-Michel Couvreur , Sébastien Grivet , Denis Poitrenaud: Designing a LTL Model-Checker Based on Unfolding Graphs. ICATPN 2000 : 123-145 5 Denis Poitrenaud, Jean-François Pradat-Peyre : Pre- and Post-agglomerations for LTL Model Checking. ICATPN 2000 : 387-408 4 Serge Haddad , Denis Poitrenaud: Theoretical Aspects of Recursive Petri Nets. ICATPN 1999 : 228-247 3 Jean-Michel Couvreur , Denis Poitrenaud: Detection of Illegal Behaviors Based on Unfoldings. ICATPN 1999 : 364-383 2 Jean-Michel Couvreur , Denis Poitrenaud: Model Checking Based on Occurrence Net Graph. FORTE 1996 : 380-395 1 Robert Brgan , Denis Poitrenaud: An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets. Application and Theory of Petri Nets 1995 : 121-140  DiSC'02 © 2003 Association for Computing Machinery |
