Publications

Export 356 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
Conference Paper
[IPHaReSi06] Haddad, S, Recalde L, Silva M.  2006.  On the Computational Power of Timed Differentiable Petri Nets. LNCS. 4202:230-244.
[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.
[1363] Teruel, E, Chrzastowski P, Colom JM, Silva M.  1993.  On Weighted T-Systems. III Jornadas de Concurrencia. :293-312.
[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.
[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.
[RP-82-06] Martínez, J, Silva M.  1982.  A package for computer design of concurrent logic control systems. :221-226.
[RP-86-10] Martínez, J, Silva M.  1986.  Packages for validating discrete production systems modeled with Petri nets. :457-462.
[1345] Colom, JM, Martínez J, Silva M.  1986.  Packages for validating discrete production systems modeled with Petri nets. IMACS-IFAC Symposium on Modelling and Simulation for Control of Lumped and Distributed Parameter Systems. :457-462.
[1401] Signes-Pont, MT, García-Chamizo JM, Mora-Mora H, de-Miguel-Casado G.  2007.  Parametric Architecture for Function Calculation Improvement. Architecture of Computing Systems 2007.
[1394] Signes-Pont, MT, García-Chamizo JM, Mora-Mora H, de-Miguel-Casado G.  2008.  Parametric Architecture for Modeling Neuronal Systems. 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing 2008.
[WPPSIM-WOSP-05] Woodside, M, Petriu D, Petriu D, Shen H, Israr T, Merseguer J.  2005.  Performance by Unified Model Analysis (PUMA). :1-12.
[1225] Vázquez, CR, Silva M.  2009.  Performance Control of Markovian Petri Nets via Fluid Models: A Stock-Level Control Example. IEEE Conference on Automation Science and Engineering.
[MCM-SEPN-00] Merseguer, J, Campos J, Mena E.  2000.  Performance Evaluation for the Design of Agent Based Systems: A Petri Net Approach. :1-20.
[SC-wodes98] Silva, M, Campos J.  1998.  Performance Evaluation of DEDS with Conflicts and Synchronizations Net Driven Decomposition Techniques. :398-413.
[276] Campos, J, Colom JM, Silva M.  1990.  Performance Evaluation of Repetitive Automated Manufacturing Systems. IEEE Rensselaer's Second International Conference on Computer Integrated Manufacturing. :74-81.
[SC-Brussels-93] Silva, M, Campos J.  1993.  Performance Models Based on Petri Nets. :xiv-xxi.
[IPSiTe96] Silva, M, Teruel E.  1996.  Petri Nets for the Design and Operation of Manufacturing Systems. :330-343.
[RP-92-05] Silva, M, Muro P.  1992.  Petri nets in a knowledge representation schema for the coordination of plant elements. :271-276.
[1227] Vázquez, CR, Silva M.  2009.  Piecewise-Linear Constrained Control for Timed Continuous Petri Nets. IEEE Conference on Decision and Control.