Publications
Filters: First Letter Of Last Name is V [Clear All Filters]
[RP-90-11] Petri Nets and Flexible Manufacturing. 424:374-417.
.
1990.
[RP-90-12] A Rede de Petri: Una Ferramenta para la Automa{\c c}ao Fabril. :181-200.
.
1990.
[1027] Petri net Based Modelling, Analysis and Simulation of Pipelined Architectures. P.D. COM'91 IMACS-IFAC International Symposium on Parallel and Distributed Computing in Engineering Systems. :37-38.
.
1991.
[RP-91-03] Knowledge based manufacturing modelling and analysis by integrating Petri nets. :660-668.
.
1991.
[RP-92-34] A rule-Petri net integrated approach for the modeling and analysis of manufacturing systems. :349-358.
.
1992.
[1050] Petri net based Modelling, Analysis and Simulation of Pipelined Architectures. Parallel and Distributed Computing in Engineering Systems. :35-40.
.
1992.
[RP-93-57] Introducing Petri Nets.
.
1993.
[ICSilv93b] Practice of Petri-nets in manufacturing.
.
1993.
[ICTeSi94] Well-formedness of Equal Conflict Systems. Application and Theory of Petri Nets 1994. 815:491-510.
.
1994.
[1069] Implementation of Weighted Place/Transition Nets based on Linear Enabling Functions. Application and Theory of Petri Nets 1994. :99-118.
.
1994.
[ICSiTeVaPi98] Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
.
1998.
[1338] Structural Methods. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :271-315.
.
1998.
[1339] Introduction to Verification. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :171-190.
.
1998.
[1340] Properties. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :41-63.
.
1998.
[1336] Verificación de propiedades en Redes de Petri. Sistemas Distribuidos: Modelos y Aplicaciones. :99-114.
.
2001.
[1334] Structural Methods. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :277-316.
.
2002.
[1335] Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.
.
2002.
.
2003.
[IPVaMaMiReSi08] Timing and Deadlock-freeness in Continuous Petri Nets. IFAC World Congress. 17
.
2008.
[IPVaReSi08] Stochastic-Continuous State Approximation of Markovian Petri Net Systems. IEEE Conference on Decision and Control.
.
2008.
[IPVaRaReSi08] On Controllability of Timed Continuous Petri Nets. Lectures Notes in Computer Science. 4981:528–541.
.
2008.
[1225] Performance Control of Markovian Petri Nets via Fluid Models: A Stock-Level Control Example. IEEE Conference on Automation Science and Engineering.
.
2009.
[1226] Hybrid Petri nets as an approximation to Markovian Petri nets. IFAC Conference on Analysis and Design of Hybrid Systems.
.
2009.
[1227] Piecewise-Linear Constrained Control for Timed Continuous Petri Nets. IEEE Conference on Decision and Control.
.
2009.
[1308] Resource-bounded Dimension in Computational Learning Theory. arXiv.
.
2010.