Publications
Filters: First Letter Of Last Name is S [Clear All Filters]
[RP-92-31] A polynomial-time algorithm to decide liveness of bounded free choice nets. Theoretical Computer Science. :185-205.
.
1992.
[ICSilv93b] Practice of Petri-nets in manufacturing.
.
1993.
[1321] Predictive Maintenance Manager design pattern for component based machine tools. IEEE 9th International Conference on Industrial Informatics (INDIN’2011).
.
2011.
[1377] "Predictive Maintenance Surveyor" Design Pattern for Machine Tools Control Software Applications. 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011).
.
2011.
.
2009.
.
2009.
.
2005.
[ARMoHaSeSi05] Product-form and stochastic Petri nets: a structural approach. Performance Evaluation. 59:313-336.
.
2005.
[RP-82-07] Programmable logic controllers and Petri nets: A comparative study. :29-34.
.
1982.
[RP-83-02] Programmable logic controllers and Petri nets: A comparative study. :83-88.
.
1983.
[1335] Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.
.
2002.
[1340] Properties. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :41-63.
.
1998.
[CCS-TAC-91] Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks. IEEE Transactions on Automatic Control. 36:1368-1382.
.
1991.
[258] Properties and Performance Bounds for Timed Marked Graphs. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications. 39(5):386-401.
.
1992.
[CCS-Kyoto-89] Properties and Steady State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. :210-220.
.
1989.
.
2008.
[RP-93-03] Qualitative analysis of periodic schedules for deterministically timed Petri net systems. IEICE Transactions.
.
1993.
[RP-81-05] Realización cableada de redes de Petri binarias. :265-275.
.
1981.
[RP-82-01] Realización cableada de redes de Petri binarias. 6:151-155.
.
1982.
[RP-81-03] Realización cableada de redes de Petri: Un equipo para prácticas. :215-230.
.
1981.
[RP-90-12] A Rede de Petri: Una Ferramenta para la Automa{\c c}ao Fabril. :181-200.
.
1990.
[RP-80-07] Redes de Petri y validación de sistemas con actividades concurrentes. :xx.
.
1980.
[IPJiJuReSi04] Relaxed Continuous Views of Discrete Event Systems: considerations in Forrester Diagrams and Petri Nets. :4897-4904.
.
2004.
[AmbMay97] Resource Bounded Measure and Randomness. :1-47.
.
1997.
[C-MATCH23-98] Response Time Approximation for Stochastic Marked Graphs. :797-817.
.
1998.