For the most recent entries see the
Petri Nets Newsletter.
Ilie, J.-M.
-
Klai, Kais;
Haddad, Serge;
Ilie, Jean-Michel:
Modular Verification of Petri Nets Properties: A Structure-Based Approach.
2005.
-
Thierry-Mieg, Yann;
Ilié, Jean-Michel;
Poitrenaud, Denis:
A Symbolic Symbolic State Space Representation.
2004.
-
Dutheillet, C.;
Vernier-Mounier, I.;
Ilié, J.-M.;
Poitrenaud, D.:
Verification: State-Space-Based Methods and Model Checking.
2002.
-
Capra, L.;
Dutheillet, C.;
Franceschinis, G.;
Ilie, J.M.:
Towards performance analysis with partially symmetrical SWN.
1999.
-
Diagne, Alioune;
Ilié, Jean-Michel;
Moldt, Daniel:
A Petri net-based support for object-oriented specification of complex control systems.
1997.
-
Haddad, S.;
Ilie, J.M.;
Taghelit, M.;
Zouari, B.:
Symbolic Reachability Graph And Partial Symmetries.
1995.
-
Ilié, J.-M.;
Rojas, O.:
On Well-formed Nets and Optimizations in Enabling Tests.
1993.
-
Estraillier, P.;
Girault, C.;
Ilie, J.M.:
Satellite Protocol Modeling by Synchronous Predicate/Transition Nets.
1985.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography