Publications
Filters: First Letter Of Last Name is V [Clear All Filters]
[RP-93-57] Introducing Petri Nets.
.
1993.
[1069] Implementation of Weighted Place/Transition Nets based on Linear Enabling Functions. Application and Theory of Petri Nets 1994. :99-118.
.
1994.
[1226] Hybrid Petri nets as an approximation to Markovian Petri nets. IFAC Conference on Analysis and Design of Hybrid Systems.
.
2009.
[1268] Hybrid Petri net model of a traffic intersection in an urban network. 2010 IEEE Multiconference on Systems and Control.
.
2010.
[RP-85-11] Error detection and correction on Petri net models of discrete control systems. :921-924.
.
1985.
[1431] Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach. Reliability Engineering and System Safety. 120:112-126.
.
2013.
[RP-86-01] Diseño de un sistema didáctico de programación y control. :97-108.
.
1986.
[RP-84-07] Diseño de un controlador tiempo real seguro de funcionamiento. :303-310.
.
1984.
[RP-84-08] Detección y corrección de errores mediante la codificación de redes de Petri. :491-500.
.
1984.
[1498] Controllability of Timed Continuous Petri Nets with uncontrollable transitions. International Journal of Control. Posted online: 01 Oct 2013
.
2013.
[1492] Continuous Petri Nets: Observability and Diagnosis. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:387-406.
.
2013.
[1493] Continuous Petri Nets: Controllability and Control. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:407-428.
.
2013.
.
1981.
[1443] Analysis and Simulation of Manufacturing Systems using SimHPN toolbox. CASE'2011: 7th IEEE Conf. on Automation Science and Engineering.
.
2011.
[RP-86-12] Almacenamiento de imágenes en un computador PDP-11/34. :67-76.
.
1986. - « first
- ‹ previous
- 1
- 2
- 3