Publications
Filters: First Letter Of Last Name is S [Clear All Filters]
[RP-96-12] A Throughtput Approximation Algorithm for Decision Free Processes. :161-178.
.
1996.
[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.
[IPVaMaMiReSi08] Timing and Deadlock-freeness in Continuous Petri Nets. IFAC World Congress. 17
.
2008.
[1267] Timing-dependent boundedness and liveness in continuous Petri nets. 10th International Workshop on Discrete Event Systems (WODES).
.
2010.
[RP-90-02] Top-down synthesis of live & bounded Free Choice Nets. :63-83.
.
1990.
.
2006.
[RP-80-08] Traducción de expresiones lógicas: aplicación en autómatas programables y en la enseñanza. :664-670.
.
1980.
[RZS-04] Two Heuristics for the Improvement of a Two-Phase Optimization Method for Manufacturing Systems. :1686-1692.
.
2004.
[ZRS-Wod00] A Two Phase Optimisation Strategy for DEDS Application to Manufacturing Systems. :291-298.
.
2000.
[BBCM-09] UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). 553
.
2009.
[RP-83-07] Un plan de prácticas de sistemas de control muestreados. :279-295.
.
1983.
[RP-80-06] Un plan de prácticas. Dpto. de Automática de la E.T.S.I. Industriales de la U.Z.. :117-134.
.
1980.
[IPSiRe03b] Unforced Continuous Petri Nets and Positive Systems. Lecture Notes in Control and Information Sciences.
.
2003.
[1529] The bound Reaching Problem on the Fluidization of Timed Petri Nets. 12th Int. Workshop on Discrete Event Systems.
.
2014.
[360] Analysis of Autonomous Petri Nets with Bulk Services and Arrivals. 11th Int. Conf. on Analysis and Optimization of Systems. Discrete Event Systems. 199:131-143.
.
1994.
[239] Approximate Throughput Computation of Stochastic Marked Graphs. Quantitative Methods in Parallel Systems. :175-188.
.
1995.
[ICEsSi90a] Circuits, Handles, Bridges and Nets. Advances in Petri Nets 90. 483:210-242.
.
1991.
[1083] A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. Application and Theory of Petri Nets 1998. :64-83.
.
1998.
[1493] Continuous Petri Nets: Controllability and Control. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:407-428.
.
2013.
[1492] Continuous Petri Nets: Observability and Diagnosis. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:387-406.
.
2013.
[673] Convex Geometry and Semiflows in P/T Nets. A Comparative Study of Algorithms for Computation of Minimal P-Semiflows. Advances in Petri Nets 1990. :79-112.
.
1991.
[1359] Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990.
.
1990.
[1360] A first collection of challenging problems: A Flexible Manufacturing System. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 6: Case Studies. Deliverables Covering the Period June 1989 to June 1990.
.
1990.
[243] Functional and Performance Analysis of Cooperating Sequential Processes. Quantitative Methods in Parallel Systems. :52-65.
.
1995.
[248] Functional and Performance Analysis of Cooperating Sequential Processes. Performance Evaluation of parallel and distributed systems. Solution Methods. :234-251.
.
1994.