Publications
] Filters: Author is M. Silva [Clear All Filters]
[RP-89-08] .
1989. Logical controllers. :157-166bis.
[1341] .
1998. Logical Properties of P/T Systems and their Analysis. Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques Vol.1, HCM-MATCH Advanced Schools. :185-232.
[1496] .
2012. Marking homothetic monotonicity and fluidization of untimed Petri nets. 11th International Workshop on Discrete Event Systems (WODES’12). :21-27.
[RP-86-07] .
1986. Maximun firing deviation and fair relations in Petri nets. :1008-1010.
[RP-80-05] .
1980. Memoria de actividades del Dpto. de Automática de la E.T.S.I. Industriales de la U.Z.. :111-116.
[RP-89-13] .
1989. Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :307-313.
[RP-89-18] .
1989. Merging Artificial Intelligence Techniques and Petri nets for Time Scheduling and Control of Production Systems. :141-144.
[RP-90-08] .
1990. Minimal Deadlocks in Free Choice nets.
[1281] .
2010. Minimum-Time Control for Structurally Persistent Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
[1434] .
2012. Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems.
[1453] .
2013. Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems. 7(1):39-53.
[1464] .
2013. Minimum-Time Flow Control of Timed Continuous Choice-Free Nets. ECC'13: European Control Conference.
[1547] .
2014. Model Checking on Fault Diagnosis Graph. WODES'2014: 12th IFAC International Workshop on Discrete Event Systems.
[ARReTeSi97] .
1998. Modeling and Analysis of Sequential Processes that Cooperate through Buffers. IEEE Trans on Robotics and Automation. 14:267-277.
[IPMaMuSi87] .
1991. Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. High-Level Petri Nets. Theory and Applications. :618-623.
[RP-87-05] .
1987. Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. :1180-1185.
[200] .
1993. Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems. :213-224.
[1362] .
1993. Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
[ZRS-ECC99] .
1999. Modelling and Optimization of Manufacturing Systems Petri Nets and Simulated Annealing.
[RP-84-04] .
1984. Modelling and validation of complex systems by coloured Petri nets. Application to a flexible manufacturing system. :122-140.
[RP-85-07] .
1985. Modelling and Validation of Complex Systems modeled by Colored Petri Nets. 188:15-31.
[RP-91-32] .
1991. Modelling, validation and software implementation of production systems using high-level Petri nets. :618-623.
[RP-93-14] .
1993. Modular composition of intelligent control policies for FMS models. :405-410.
[RP-90-09] .
1990. Modular Synthesis of Free Choice Nets.
[1315] .
2011. Modular/Coordinated control for TCPNs. IFAC World Congress.
