Publications
Filters: First Letter Of Title is O [Clear All Filters]
[IPMaGiReSeSi06] On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics. :37–43.
.
2006.
[CM-LNCS-06] On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
.
2006.
[IPHaReSi06] On the Computational Power of Timed Differentiable Petri Nets. LNCS. 4202:230-244.
.
2006.
.
2006.
[IPMaReSi05] Optimal Observability for Continuous Petri Nets. :CDROM.
.
2005.
[IPJiJuReSi05] On Controllability of Timed Continuous Petri Net Systems: the Join Free Case. :7645-7650.
.
2005.
.
2005.
[IPJuJiReSi04a] On Observability in Timed Continuous Petri Net Systems. :60-69.
.
2004.
[BC-QEST-04] On Performance Bounds for Interval Time Petri Nets. :50-59.
.
2004.
.
2004.
[R-SEIO-04] Optimización de Sistemas de Producción: Esquemas de Optimización en dos fases. 20:2-7.
.
2004.
[ARSiRe04] On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control. 28:253-266.
.
2004.
[IPCoGiSeJu03] Observers for nondeterministic l-free labeled Petri nets.
.
2003.
.
2003.
.
2003.
[LGMC-02b] On the Use of Formal Models in Software Performance Evaluation. :367-387.
.
2002.
[IPJuReSi02] On deadlock freeness analysis of autonomous and timed continuous mono T semiflow nets. :781-786.
.
2002.
[PJC-PNPM99] On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :32-41.
.
1999.
[PJC-JJCC99] On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :249-268.
.
1999.
[908] Optimal Control of Discrete Event Systems. International Workshop on Discrete Event Systems, WODES’98. :88-93.
.
1998.
[ARReTeSi98] On Linear Algebraic Techniques for Liveness Analysis of PT Systems. Journal of Circuits Systems and Computers. 8:223-265.
.
1998.
[PIPRM-97] OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. 1250:145-158.
.
1997.
[PJCS-96c] On Approximate Performance Evaluation of Manufacturing Systems Modelled with Weighted T Systems. :201-207.
.
1996.
[BooMay96] On the robustness of ALMOST R. Rairo Informatique Theorique et Applications. 30:123-133.
.
1996.
.
1995.