Publications
] Filters: First Letter Of Last Name is V [Clear All Filters]
[ICSiTeVaPi98] .
1998. Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
[ICSiVa89] .
1989. Petri Nets and Flexible Manufacturing. :374-417.
[RP-90-11] .
1990. Petri Nets and Flexible Manufacturing. 424:374-417.
[RP-90-12] .
1990. A Rede de Petri: Una Ferramenta para la Automa{\c c}ao Fabril. :181-200.
[EzVa-03] .
2003. A polynomial solution for deadlock avoidance in assembly systems modelled with Petri nets. :1-8.
[IPVaMaMiReSi08] .
2008. Timing and Deadlock-freeness in Continuous Petri Nets. IFAC World Congress. 17
[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.
[1225] .
2009. Performance Control of Markovian Petri Nets via Fluid Models: A Stock-Level Control Example. IEEE Conference on Automation Science and Engineering.
[1226] .
2009. Hybrid Petri nets as an approximation to Markovian Petri nets. IFAC Conference on Analysis and Design of Hybrid Systems.
[1227] .
2009. Piecewise-Linear Constrained Control for Timed Continuous Petri Nets. IEEE Conference on Decision and Control.
[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.
[1315] .
2011. Modular/Coordinated control for TCPNs. Internal Report, GISED, DIIS, Universidad de Zaragoza.
[1316] .
2011. Timing and liveness in continuous Petri nets. Automatica. 47(2):283--290.
[1443] .
2011. Analysis and Simulation of Manufacturing Systems using SimHPN toolbox. CASE'2011: 7th IEEE Conf. on Automation Science and Engineering.
[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.
[1451] .
2012. SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets. Nonlinear Analysis: Hybrid Systems. 6(2):817.
[RP-80-03] .
1980. Sistema especializado en la simulación de redes de Petri sanas. :81-88.
[RP-80-08] .
1980. Traducción de expresiones lógicas: aplicación en autómatas programables y en la enseñanza. :664-670.
[RP-81-03] .
1981. Realización cableada de redes de Petri: Un equipo para prácticas. :215-230.
[RP-81-04] .
1981. Componentes conservativas elementales y realización microprogramada de una red de Petri conforme. :317-328.
[RP-81-05] .
1981. Realización cableada de redes de Petri binarias. :265-275.
[RP-82-01] .
1982. Realización cableada de redes de Petri binarias. 6:151-155.
[RP-82-03] .
1982. Sobre la obtención del conjunto de componentes elementales de una RdPG. 6:155-160.
