Publications
Filters: First Letter Of Title is O [Clear All Filters]
[1446] On Decentralized Observability of Discrete Event Systems. 50th IEEE Conference on Decision and Control and European Control Conference.
.
2011.
[IPSiRe03] On fluidification of Petri net models: from discrete to hybrid and continuous models. :9-20.
.
2003.
[1540] On Liveness Enforcement of DSSP net systems. 52nd IEEE Annual Conference on Decision and Control (CDC). Abstract
.
2016.
[IPJuJiReSi04a] On Observability in Timed Continuous Petri Net Systems. :60-69.
.
2004.
[RCS-Atlanta-93] On Optimal Scheduling in DEDS. :821-826.
.
1993.
[BC-QEST-04] On Performance Bounds for Interval Time Petri Nets. :50-59.
.
2004.
[IPMaReSi06] On performance monotonicity and basic servers semantics of continuous Petri nets. :345–351.
.
2006.
[RP-91-26] On periodic schedules for deterministically timed Petri nets systems. :210-215.
.
1991.
.
2003.
[IPMaGiReSeSi06] On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics. :37–43.
.
2006.
[1346] On software implementation of Petri Nets and Colored Petri Nets using high-level concurrent languages. Seventh European Workshop on Application and Theory of Petri Nets. :207-241.
.
1986.
[RP-86-11] On software implementation of Petri nets and colored Petri nets using high-level concurrent languages. :207-241.
.
1986.
[1442] On State Estimation of Timed Choice-Free Petri Nets. 18th IFAC World Congress.
.
2011.
[PJC-JJCC99] On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :249-268.
.
1999.
[PJC-PNPM99] On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :32-41.
.
1999.
[RP-87-07] On synchonic distance and B-fair relations for Petri nets. :270-278.
.
1987.
.
1990.
[1318] On the Computation of the Minimal Siphons of $S^4PR$ Nets from a Generating Family of Siphons. 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’2010). :paperMF-002879. Abstract
.
2010.
[IPHaReSi06] On the Computational Power of Timed Differentiable Petri Nets. LNCS. 4202:230-244.
.
2006.
[1378] On the deadlock analysis of multithreaded control software. 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011).
.
2011.
[1284] On the Importance of the Deadlock Trap Property for Monotonic Liveness. Int. Workshop on Biological Processes & Petri Nets (BioPPN), A satellite event of Petri Nets 2010.
.
2010.
[995] On the structural computation of synchronic invariants in P/T nets. Eighth European Workshop on Application and Theory of Petri Nets. :237-258.
.
1987.
[1347] On the structural computation of synchronic invariants in P/T nets. I Jornadas de Concurrencia.
.
1987.
[LGMC-02b] On the Use of Formal Models in Software Performance Evaluation. :367-387.
.
2002.
[1363] On Weighted T-Systems. III Jornadas de Concurrencia. :293-312.
.
1993.