Publications
Filters: First Letter Of Last Name is S [Clear All Filters]
[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.
[1001] Interrelationships among various concepts of fairness for Petri nets. 31st Midwest Symposium on Circuits and Systems. :1141-1144.
.
1988.
[365] On the Computation of Structural Synchronic Invariants in P/T Nets. Advances in Petri Nets 1988. :386-417.
.
1988.
[RP-87-05] Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. :1180-1185.
.
1987.
[RP-87-08] Sistemas modernos de programación de robots. :25-52.
.
1987.
[RP-87-07] On synchonic distance and B-fair relations for Petri nets. :270-278.
.
1987.
[1347] On the structural computation of synchronic invariants in P/T nets. I Jornadas de Concurrencia.
.
1987.
[995] On the structural computation of synchronic invariants in P/T nets. Eighth European Workshop on Application and Theory of Petri Nets. :237-258.
.
1987.
[ICSilv87] Towards a Synchrony Theory for P/T Nets. Concurrency and Nets. :435-460.
.
1987.
[1344] Packages for validating discrete production systems modeled with Petri nets. Applied Modelling and Simulation of Technological Systems. :529-536.
.
1987.
.
1987.
[RP-87-02] Packages for validating discrete production systems modelled with Petri nets. :529-536.
.
1987.
[RP-87-03] Aproximación a los robots inteligentes. :265-279.
.
1987.
[RP-87-04] Towards a Synchrony Theory for P/T 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.
[RP-86-10] Packages for validating discrete production systems modeled with Petri nets. :457-462.
.
1986.
[RP-86-07] Maximun firing deviation and fair relations in Petri nets. :1008-1010.
.
1986.
[RP-86-08] A software environment for systems design with HLPN and their implementations. :95-127.
.
1986.
[1345] Packages for validating discrete production systems modeled with Petri nets. IMACS-IFAC Symposium on Modelling and Simulation for Control of Lumped and Distributed Parameter Systems. :457-462.
.
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.
[RP-86-02] Nuevos métodos para la especificación del control de sistemas flexibles de fabricación. :185-195.
.
1986.
[RP-86-03] Petri nets for the specification of FMSs. :389-406.
.
1986.
[RP-86-04] La programación de los robots industriales. Sistemas CAD/CAM/CAE. :259-272.
.
1986.