Publications

Export 68 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: First Letter Of Title is O  [Clear All Filters]
Conference Paper
[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.
[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.
[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.
[1363] Teruel, E, Chrzastowski P, Colom JM, Silva M.  1993.  On Weighted T-Systems. III Jornadas de Concurrencia. :293-312.
[1447] Kloetzer, M, Mahulea C.  2012.  Online Petri Net Based Algorithm for Planning and Controlling Mobile Robots. ETFA'2012: 17th IEEE International Conference on Emerging Technologies and Factory Automation.
[PIPRM-97] Pastor, O, Insfrán E, Pelechano V, Romero J, Merseguer J.  1997.  OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. 1250:145-158.
[1541] Clavel, D, Mahulea C, Silva M, Albareda J.  2016.  Operation Planning of Elective Patients in an Orthopedic Surgery Department. 2nd International Workshop on Models and Methods for healthcare systems management and planning (M2H) in ETFA 2016. Abstract
[251] Chiola, G, Campos J, Colom JM, Silva M.  1993.  Operational Analysis of Timed Petri Nets. 16th International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance'93).
[250] Chiola, G, Anglano C, Campos J, Colom JM, Silva M.  1993.  Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. IEEE 5th International Workshop on Petri Nets and Performance Models (PNPM'93). :128-137.
[IPGiMaReSeSi06a] Giua, A, Mahulea C, Recalde L, Seatzu C, Silva M.  2006.  Optimal control of continuous Petri nets via model predictive control. :235–241.
[908] García-Vallés, F, Tricas F, Ezpeleta J, Colom JM.  1998.  Optimal Control of Discrete Event Systems. International Workshop on Discrete Event Systems, WODES’98. :88-93.
[IPGiMaReSeSi06b] Giua, A, Mahulea C, Recalde L, Seatzu C, Silva M.  2006.  Optimal control of timed continuous Petri nets via explicit MPC. Lecture Notes in Control and Information Sciences. 341:383-390.
[IPMaReSi05] Mahulea, C, Recalde L, Silva M.  2005.  Optimal Observability for Continuous Petri Nets. :CDROM.
[RoEMSS06] Rodríguez, D.  2006.  AN OPTIMIZATION METHOD FOR CONTINUOUS PETRI NET MODELS: APPLICATION TO MANUFACTURING SYSTEMS.