Publications
Filters: First Letter Of Last Name is S [Clear All Filters]
[RP-87-08] Sistemas modernos de programación de robots. :25-52.
.
1987.
.
1987.
[365] On the Computation of Structural Synchronic Invariants in P/T Nets. Advances in Petri Nets 1988. :386-417.
.
1988.
[1001] Interrelationships among various concepts of fairness for Petri nets. 31st Midwest Symposium on Circuits and Systems. :1141-1144.
.
1988.
[RP-88-03] The spy: a mechanism for safe implementation of highly concurrent systems. :95-102.
.
1988.
[RP-88-04] Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :528-531.
.
1988.
[RP-88-07] GRAMAN: A Graphic System for Manufacturing System Design. :79-84.
.
1988.
[ICSiVa89] Petri Nets and Flexible Manufacturing. :374-417.
.
1989.
[RP-89-06] Circuits, handles, bridges and nets. :134-153.
.
1989.
[RP-89-17] GRAMAN: a graphic system for manufacturing system design. :311-316.
.
1989.
[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.
[1005] Improving the linearly based characterization of P/T nets. 10th International Conference on Application and Theory of Petri Nets. :52-73.
.
1989.
[1006] Convex Geometry and Semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. 10th International Conference on Application and Theory of Petri Nets. :74-95.
.
1989.
[RP-89-08] Logical controllers. :157-166bis.
.
1989.
[RP-89-11] Multisensor Object Recognition using an Hypothesis-Verification Scheme. :265-272.
.
1989.
[CCS-Kyoto-89] Properties and Steady State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. :210-220.
.
1989.
[CS-Lyon-89] Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :559-585.
.
1989.
[278] Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. Third IEEE International Workshop on Petri Nets and Performance Models (PNPM'89). :200-209.
.
1989.
[RP-89-02] Fair control of discrete event systems via Petri nets. :19-23.
.
1989.
.
1989.
[CS-DS-90] Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :427-438.
.
1990.
.
1990.
[RP-90-09] Modular Synthesis of Free Choice Nets.
.
1990.