Publications

Export 65 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Last Name is V  [Clear All Filters]
2013
[1431] Bernardi, S, Flammini F, Marrone S, Mazzocca N, Merseguer J, Nardone R, Vittorini V.  2013.  Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach. Reliability Engineering and System Safety. 120:112-126.
[1491] Vazquez, CR, Mahulea C, Julvez J, Silva M.  2013.  Introduction to Fluid Petri Nets. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:365-386.
[1492] Mahulea, C, Julvez J, Vazquez CR, Silva M.  2013.  Continuous Petri Nets: Observability and Diagnosis. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:387-406.
[1493] Julvez, J, Vazquez CR, Mahulea C, Silva M.  2013.  Continuous Petri Nets: Controllability and Control. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:407-428.
[1498] Vazquez, CR, Ramirez-Treviño A, Silva M.  2013.  Controllability of Timed Continuous Petri Nets with uncontrollable transitions. International Journal of Control. Posted online: 01 Oct 2013
2012
2011
[1450] Silva, M, Julvez J, Vazquez CR, Mahulea C.  2011.  On fluidization of discrete event models: observation and control of continuous Petri nets. Discrete Event Dynamic Systems: Theory and Applications. 21(4):497.
[1494] Vazquez, CR, Silva M.  2011.  Stochastic Continuous Petri Nets: An Approximation of Markovian Net Models. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans. 42(4):641-653.
[1315] Vázquez, CR, van Schuppen JH, Silva M.  2011.  Modular/Coordinated control for TCPNs. IFAC World Congress.
[1443] Julvez, J, Vazquez CR, Mahulea C.  2011.  Analysis and Simulation of Manufacturing Systems using SimHPN toolbox. CASE'2011: 7th IEEE Conf. on Automation Science and Engineering.
[1316] Vázquez, CR, Silva M.  2011.  Timing and liveness in continuous Petri nets. Automatica. 47(2):283--290.
[1322] Requeno, JI, Blanco R, de Miguel G, Colom JM.  2011.  Phylogenetic Analysis Using an SMV Tool. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). :167-174.
[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).
2010
2009
2008
2003
2002
[1334] Colom, JM, Teruel E, Silva M, Haddad S.  2002.  Structural Methods. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :277-316.
[1335] Colom, JM, Silva M, Teruel E.  2002.  Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.