Publications
] Filters: First Letter Of Last Name is V [Clear All Filters]
[1431] .
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] .
2013. Introduction to Fluid Petri Nets. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:365-386.
[1492] .
2013. Continuous Petri Nets: Observability and Diagnosis. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:387-406.
[1493] .
2013. Continuous Petri Nets: Controllability and Control. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:407-428.
[1498] .
2013. Controllability of Timed Continuous Petri Nets with uncontrollable transitions. International Journal of Control. Posted online: 01 Oct 2013
[1451] .
2012. SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets. Nonlinear Analysis: Hybrid Systems. 6(2):817.
[1450] .
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] .
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] .
2011. Modular/Coordinated control for TCPNs. IFAC World Congress.
[1443] .
2011. Analysis and Simulation of Manufacturing Systems using SimHPN toolbox. CASE'2011: 7th IEEE Conf. on Automation Science and Engineering.
[1316] .
2011. Timing and liveness in continuous Petri nets. Automatica. 47(2):283--290.
[1322] .
2011. Phylogenetic Analysis Using an SMV Tool. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). :167-174.
[1382] .
2011. Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
[1267] .
2010. Timing-dependent boundedness and liveness in continuous Petri nets. 10th International Workshop on Discrete Event Systems (WODES).
[1268] .
2010. Hybrid Petri net model of a traffic intersection in an urban network. 2010 IEEE Multiconference on Systems and Control.
[1308] .
2010. Resource-bounded Dimension in Computational Learning Theory. arXiv.
[1227] .
2009. Piecewise-Linear Constrained Control for Timed Continuous Petri Nets. IEEE Conference on Decision and Control.
[1226] .
2009. Hybrid Petri nets as an approximation to Markovian Petri nets. IFAC Conference on Analysis and Design of Hybrid Systems.
[1225] .
2009. Performance Control of Markovian Petri Nets via Fluid Models: A Stock-Level Control Example. IEEE Conference on Automation Science and Engineering.
[IPVaRaReSi08] .
2008. On Controllability of Timed Continuous Petri Nets. Lectures Notes in Computer Science. 4981:528–541.
[IPVaReSi08] .
2008. Stochastic-Continuous State Approximation of Markovian Petri Net Systems. IEEE Conference on Decision and Control.
[IPVaMaMiReSi08] .
2008. Timing and Deadlock-freeness in Continuous Petri Nets. IFAC World Congress. 17
[EzVa-03] .
2003. A polynomial solution for deadlock avoidance in assembly systems modelled with Petri nets. :1-8.
[1334] .
2002. Structural Methods. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :277-316.
[1335] .
2002. Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.
