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