Publications
Filters: First Letter Of Last Name is S [Clear All Filters]
[RP-85-06] Lenguajes para la programación de robots industriales. :11-80.
.
1985.
[RP-89-18] Merging Artificial Intelligence Techniques and Petri nets for Time Scheduling and Control of Production Systems. :141-144.
.
1989.
[RP-85-07] Modelling and Validation of Complex Systems modeled by Colored Petri Nets. 188:15-31.
.
1985.
[RP-91-32] Modelling, validation and software implementation of production systems using high-level Petri nets. :618-623.
.
1991.
[RP-93-56] A new technique for finding a generating family of siphons, traps and st-components. 674:126-147.
.
1993.
[RP-91-18] On the Analysis and Synthesis of Free Choice Systems. 483:243-286.
.
1991.
[RP-83-01] A package for computer design of concurrent logic control systems. :243-248.
.
1983.
[RP-87-02] Packages for validating discrete production systems modelled with Petri nets. :529-536.
.
1987.
[C-MATCH17-98] Performance Bounds. :587-635.
.
1998.
[MCM-LNCS-01] A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
.
2001.
[C-MATCH8-98] Performance Measures and Basic Properties. :285-304.
.
1998.
.
1998.
[ICSiVa89] Petri Nets and Flexible Manufacturing. :374-417.
.
1989.
[RP-90-11] Petri Nets and Flexible Manufacturing. 424:374-417.
.
1990.
[ICReSiEzTe04] Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.
.
2004.
[RP-86-03] Petri nets for the specification of FMSs. :389-406.
.
1986.
[RP-90-14] Petri-Net Based Fairness Concepts for Discrete Event Systems. :549-557.
.
1990.
[ICSilv93b] Practice of Petri-nets in manufacturing.
.
1993.
.
2005.
[RP-83-02] Programmable logic controllers and Petri nets: A comparative study. :83-88.
.
1983.
[AmbMay97] Resource Bounded Measure and Randomness. :1-47.
.
1997.
[C-MATCH23-98] Response Time Approximation for Stochastic Marked Graphs. :797-817.
.
1998.
[RP-86-05] Robot programming and robot vision. :11-29.
.
1986.
[RP-82-02] A simple and fast algorithm to obtain all invariants of a generalized Petri net. :301-310.
.
1982.
[RP-89-01] The Spy: A mechanism for safe implementation of highly concurrent systems. :75-81.
.
1989.