Publications

Export 41 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Title is M  [Clear All Filters]
Conference Paper
[RP-87-05] Muro, P, Silva M.  1987.  Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. :1180-1185.
[1361] [Anonymous].  1993.  Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
[1362] Teruel, E, Colom JM, Silva M.  1993.  Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
[ZRS-ECC99] Zimmermann, A, Rodríguez D, Silva M.  1999.  Modelling and Optimization of Manufacturing Systems Petri Nets and Simulated Annealing.
[RP-84-04] Martínez, J, Silva M.  1984.  Modelling and validation of complex systems by coloured Petri nets. Application to a flexible manufacturing system. :122-140.
[RP-93-14] Muro, P, Silva M.  1993.  Modular composition of intelligent control policies for FMS models. :405-410.
[1432] Mahulea, C, García-Soriano J-M, Colom JM.  2012.  Modular Petri net modeling of the Spanish Health System. 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2012).
[RP-90-09] Esparza, J, Silva M.  1990.  Modular Synthesis of Free Choice Nets.
[1557] Kloetzer, M, Mahulea C.  2016.  Multi-Robot Path Planning for Syntactically Co-Safe LTL Specifications. WODES'2016: 13rd IFAC International Workshop on Discrete Event Systems.
[RP-89-11] Tardós, Silva M.  1989.  Multisensor Object Recognition using an Hypothesis-Verification Scheme. :265-272.
Book Chapter
Book