Publications

Export 68 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Title is O  [Clear All Filters]
Conference Paper
[1446] Cabasino, MP, Giua A, Mahulea C, Seatzu C.  2011.  On Decentralized Observability of Discrete Event Systems. 50th IEEE Conference on Decision and Control and European Control Conference.
[IPSiRe03] Silva, M, Recalde L.  2003.  On fluidification of Petri net models: from discrete to hybrid and continuous models. :9-20.
0 icon
adhs03.ps
[1540] Clavel, D, Mahulea C, Silva M.  2016.  On Liveness Enforcement of DSSP net systems. 52nd IEEE Annual Conference on Decision and Control (CDC). Abstract
[IPJuJiReSi04a] Julvez, J, Jimenez E, Recalde L, Silva M.  2004.  On Observability in Timed Continuous Petri Net Systems. :60-69.
0 icon
qest04.pdf
[RCS-Atlanta-93] Ramirez, A, Campos J, Silva M.  1993.  On Optimal Scheduling in DEDS. :821-826.
0 icon
93_RCS_Atlanta.ps
[BC-QEST-04] Bernardi, S, Campos J.  2004.  On Performance Bounds for Interval Time Petri Nets. :50-59.
0 icon
CameraReady.pdf
[IPMaReSi06] Mahulea, C, Recalde L, Silva M.  2006.  On performance monotonicity and basic servers semantics of continuous Petri nets. :345–351.
[RP-91-26] Silva, M, Watanabe T.  1991.  On periodic schedules for deterministically timed Petri nets systems. :210-215.
[IPJuReSi03a] Julvez, J, Recalde L, Silva M.  2003.  On reachability in autonomous continuous Petri net systems.
0 icon
icatpn2003.pdf
[IPMaGiReSeSi06] Mahulea, C, Giua A, Recalde L, Seatzu C, Silva M.  2006.  On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics. :37–43.
[1346] Colom, JM, Silva M, Villarroel JL.  1986.  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.
[RP-86-11] Silva, M, Villarroel JL.  1986.  On software implementation of Petri nets and colored Petri nets using high-level concurrent languages. :207-241.
[1442] Wang, X, Mahulea C, Julvez J, Silva M.  2011.  On State Estimation of Timed Choice-Free Petri Nets. 18th IFAC World Congress.
[PJC-JJCC99] Pérez-Jiménez, CJ, Campos J.  1999.  On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :249-268.
[PJC-PNPM99] Pérez-Jiménez, CJ, Campos J.  1999.  On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :32-41.
0 icon
99_PJC_PNPM.pdf
[RP-87-07] Silva, M, Murata T.  1987.  On synchonic distance and B-fair relations for Petri nets. :270-278.
[RP-90-07] Esparza, J, Silva M.  1990.  On the analysis and synthesis of free choice nets.
[1318] Cano, E, Rovetto C, Colom JM.  2010.  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
[IPHaReSi06] Haddad, S, Recalde L, Silva M.  2006.  On the Computational Power of Timed Differentiable Petri Nets. LNCS. 4202:230-244.
0 icon
TRHaReSi06.pdf
[1378] López-Grao, JP, Colom JM.  2011.  On the deadlock analysis of multithreaded control software. 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011).
[1284] Heiner, M, Mahulea C, Silva M.  2010.  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.
[995] Silva, M, Colom JM.  1987.  On the structural computation of synchronic invariants in P/T nets. Eighth European Workshop on Application and Theory of Petri Nets. :237-258.
[1347] Silva, M, Colom JM.  1987.  On the structural computation of synchronic invariants in P/T nets. I Jornadas de Concurrencia.
[LGMC-02b] López-Grao, JP, Merseguer J, Campos J.  2002.  On the Use of Formal Models in Software Performance Evaluation. :367-387.
0 icon
02_LGMC_JJCC.pdf
[1363] Teruel, E, Chrzastowski P, Colom JM, Silva M.  1993.  On Weighted T-Systems. III Jornadas de Concurrencia. :293-312.