Publications
Filters: First Letter Of Title is M [Clear All Filters]
[1362] Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
.
1993.
[200] Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems. :213-224.
.
1993.
[LutMayMSDHLb] Measure stochasticity and the density of hard languages. 665:38-47.
.
1993.
[IPMaMuSi87] Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. High-Level Petri Nets. Theory and Applications. :618-623.
.
1991.
.
1991.
[RP-90-08] Minimal Deadlocks in Free Choice nets.
.
1990.
[RP-90-09] Modular Synthesis of Free Choice Nets.
.
1990.
[RP-89-11] Multisensor Object Recognition using an Hypothesis-Verification Scheme. :265-272.
.
1989.
.
1989.
.
1989.
.
1988.
.
1987.
[RP-86-07] Maximun firing deviation and fair relations in Petri nets. :1008-1010.
.
1986.
[RP-85-07] Modelling and Validation of Complex Systems modeled by Colored Petri Nets. 188:15-31.
.
1985.
.
1984.
[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.