Publications
Filters: First Letter Of Title is M [Clear All Filters]
.
1999.
.
1988.
.
2003.
[200] Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems. :213-224.
.
1993.
[ARReTeSi97] Modeling and Analysis of Sequential Processes that Cooperate through Buffers. IEEE Trans on Robotics and Automation. 14:267-277.
.
1998.
[IPMaMuSi87] Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. High-Level Petri Nets. Theory and Applications. :618-623.
.
1991.
[RP-80-05] Memoria de actividades del Dpto. de Automática de la E.T.S.I. Industriales de la U.Z.. :111-116.
.
1980.
[RP-84-04] Modelling and validation of complex systems by coloured Petri nets. Application to a flexible manufacturing system. :122-140.
.
1984.
[RP-85-07] Modelling and Validation of Complex Systems modeled by Colored Petri Nets. 188:15-31.
.
1985.
[RP-86-07] Maximun firing deviation and fair relations in Petri nets. :1008-1010.
.
1986.
.
1987.
[RP-89-11] Multisensor Object Recognition using an Hypothesis-Verification Scheme. :265-272.
.
1989.
.
1989.
.
1989.
[RP-90-08] Minimal Deadlocks in Free Choice nets.
.
1990.
[RP-90-09] Modular Synthesis of Free Choice Nets.
.
1990.
[RP-91-32] Modelling, validation and software implementation of production systems using high-level Petri nets. :618-623.
.
1991.
[RP-93-14] Modular composition of intelligent control policies for FMS models. :405-410.
.
1993.
[1281] Minimum-Time Control for Structurally Persistent Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
.
2010.
[1315] Modular/Coordinated control for TCPNs. IFAC World Congress.
.
2011.
[1362] Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
.
1993.
[1434] Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems.
.
2012.
[1453] Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems. 7(1):39-53.
.
2013.
[1464] Minimum-Time Flow Control of Timed Continuous Choice-Free Nets. ECC'13: European Control Conference.
.
2013.
[1496] Marking homothetic monotonicity and fluidization of untimed Petri nets. 11th International Workshop on Discrete Event Systems (WODES’12). :21-27.
.
2012.