Publications

Export 34 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Title is M  [Clear All Filters]
A B C D E F G H I J K L [M] N O P Q R S T U V W X Y Z   [Show ALL]
M
[IPGiJuSe03] Giua, A, Julvez J, Seatzu C.  2003.  Marking Estimation of Petri Nets based on Partial Observation. :-.
0 icon
ACC2003.pdf
[1436] Fraca, E, Julvez J, Silva M.  2012.  Marking homothetic monotonicity and fluidization of untimed Petri nets. 11th Int. Workshop on Discrete Event Systems.
[RP-86-07] Murata, T, Silva M.  1986.  Maximun firing deviation and fair relations in Petri nets. :1008-1010.
[LutMayMSDHL] Lutz, JH, Mayordomo E.  1994.  Measure stochasticity and the density of hard languages. SIAM Journal on Computing. 23:762-779.
0 icon
94_LM_SIAMJoC.ps
[LutMayMSDHLb] Lutz, JH, Mayordomo E.  1993.  Measure stochasticity and the density of hard languages. 665:38-47.
[MayMP] Mayordomo, E.  1994.  Measuring in PSPACE. 6:93-100.
0 icon
92_May_IMYCS.ps
[cost] Merelo, Tricas F, Ruiz.  2003.  Measuring the Spanish Blogosphere.
[RP-80-05] Silva, M.  1980.  Memoria de actividades del Dpto. de Automática de la E.T.S.I. Industriales de la U.Z.. :111-116.
[RP-88-04] Smith, JM, Villarroel JL.  1988.  Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :528-531.
[RP-89-13] Villarroel, JL, Martínez J, Muro P, Silva M, Smith SF.  1989.  Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :307-313.
[RP-89-18] Villarroel, JL, Martínez J, Muro P, Silva M, Smith SF.  1989.  Merging Artificial Intelligence Techniques and Petri nets for Time Scheduling and Control of Production Systems. :141-144.
[BC-TSMC-13] Bernardi, S, Campos J.  In Press.  A min-max problem for the computation of the cycle time lower bound in interval-based Time Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[RP-90-08] Best, E, Silva M.  1990.  Minimal Deadlocks in Free Choice nets.
[1281] Wang, L, Mahulea C, Julvez J, Silva M.  2010.  Minimum-Time Control for Structurally Persistent Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
[1434] Wang, L, Mahulea C, Julvez J, Silva M.  2012.  Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems.
[1453] Wang, L, Mahulea C, Julvez J, Silva M.  2013.  Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems. 7(1):53.
[1464] Wang, L, Mahulea C, Silva M.  2013.  Minimum-Time Flow Control of Timed Continuous Choice-Free Nets. ECC'13: European Control Conference.
[1382] Bernardi, S, Francesco F, Marrone S, Merseguer J, Papa C, Vittorini V.  2011.  Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
[ARReTeSi97] Recalde, L, Teruel E, Silva M.  1998.  Modeling and Analysis of Sequential Processes that Cooperate through Buffers. IEEE Trans on Robotics and Automation. 14:267-277.
[IPMaMuSi87] Martínez, J, Muro P, Silva M.  1991.  Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. High-Level Petri Nets. Theory and Applications. :618-623.
[RP-87-05] Muro, P, Silva M.  1987.  Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. :1180-1185.
[RMB_SERENE10] Rodríguez, RJ, Merseguer J, Bernardi S.  2010.  Modelling and Analysing Resilience as a Security Issue within UML. 2nd International Workshop on Software Engineering for Resilient Systems.
application/pdf icon
serene2010_camera_ready.pdf
[200] Teruel, E, Colom JM, Silva M.  1993.  Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems. :213-224.
0 icon
94_ST_ICAOS.ps
[1361] [Anonymous].  1993.  Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
[1362] Teruel, E, Colom JM, Silva M.  1993.  Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.