Publications
Filters: First Letter Of Title is M [Clear All Filters]
[RP-89-18] Merging Artificial Intelligence Techniques and Petri nets for Time Scheduling and Control of Production Systems. :141-144.
.
1989.
[RP-85-07] Modelling and Validation of Complex Systems modeled by Colored Petri Nets. 188:15-31.
.
1985.
.
1991.
[1487] A Meta-Model Based Approach to the Definition of the Analysis Results of Petri Net Models. Theory and Application of Multi-Formalism Modeling.
.
2013.
[IPMaMuSi87] Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. High-Level Petri Nets. Theory and Applications. :618-623.
.
1991.
[200] Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems. :213-224.
.
1993.
[IPGiJuSe03] Marking Estimation of Petri Nets based on Partial Observation. :-.
.
2003.
[1553] A Matlab-Based Interactive Simulator for Mobile Robotics. CASE'2015: IEEE Int. Conf. on Automation Science and Engineering.
.
2015.
[RP-86-07] Maximun firing deviation and fair relations in Petri nets. :1008-1010.
.
1986.
[LutMayMSDHLb] Measure stochasticity and the density of hard languages. 665:38-47.
.
1993.
[MayMP] Measuring in PSPACE. 6:93-100.
.
1994.
.
2003.
[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-88-04] Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :528-531.
.
1988.
[RP-89-13] Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :307-313.
.
1989.
[RP-90-08] Minimal Deadlocks in Free Choice nets.
.
1990.
[1281] Minimum-Time Control for Structurally Persistent Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
.
2010.
[1464] Minimum-Time Flow Control of Timed Continuous Choice-Free Nets. ECC'13: European Control Conference.
.
2013.
[1547] Model Checking on Fault Diagnosis Graph. WODES'2014: 12th IFAC International Workshop on Discrete Event Systems.
.
2014.
[1515] A model-based approach for the specification and verification of clinical guidelines. Workshop on Models and Methods for Hospital Management and Planning, at 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014).
.
2014.
[1382] Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
.
2011.
[RP-87-05] Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. :1180-1185.
.
1987.
[1361] Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
.
1993.
[1362] Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
.
1993. .
1999.