Publications
Filters: First Letter Of Last Name is V [Clear All Filters]
[1336] Verificación de propiedades en Redes de Petri. Sistemas Distribuidos: Modelos y Aplicaciones. :99-114.
.
2001.
[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.
[ICSiTeVaPi98] Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
.
1998.
[1069] Implementation of Weighted Place/Transition Nets based on Linear Enabling Functions. Application and Theory of Petri Nets 1994. :99-118.
.
1994.
[ICTeSi94] Well-formedness of Equal Conflict Systems. Application and Theory of Petri Nets 1994. 815:491-510.
.
1994.
[ICSilv93b] Practice of Petri-nets in manufacturing.
.
1993.
[RP-93-57] Introducing Petri Nets.
.
1993.
[1050] Petri net based Modelling, Analysis and Simulation of Pipelined Architectures. Parallel and Distributed Computing in Engineering Systems. :35-40.
.
1992.
.
1992.
[RP-91-03] Knowledge based manufacturing modelling and analysis by integrating Petri nets. :660-668.
.
1991.
[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-90-12] A Rede de Petri: Una Ferramenta para la Automa{\c c}ao Fabril. :181-200.
.
1990.
[RP-90-11] Petri Nets and Flexible Manufacturing. 424:374-417.
.
1990.
[RP-89-01] The Spy: A mechanism for safe implementation of highly concurrent systems. :75-81.
.
1989.
[RP-89-13] Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :307-313.
.
1989.
[RP-89-18] Merging Artificial Intelligence Techniques and Petri nets for Time Scheduling and Control of Production Systems. :141-144.
.
1989.
[ICSiVa89] Petri Nets and Flexible Manufacturing. :374-417.
.
1989.
[RP-88-04] Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :528-531.
.
1988.
[RP-88-03] The spy: a mechanism for safe implementation of highly concurrent systems. :95-102.
.
1988.
[ICSilv87] Towards a Synchrony Theory for P/T Nets. Concurrency and Nets. :435-460.
.
1987.
[RP-86-11] On software implementation of Petri nets and colored Petri nets using high-level concurrent languages. :207-241.
.
1986.
[1346] On software implementation of Petri Nets and Colored Petri Nets using high-level concurrent languages. Seventh European Workshop on Application and Theory of Petri Nets. :207-241.
.
1986.
[RP-86-01] Diseño de un sistema didáctico de programación y control. :97-108.
.
1986.