Export 663 results:
Sort by: Author Title [ Type (Asc)] Year
Conference Paper
[RP-92-10] Jungnitz, H, Silva M.  1992.  An aproximation method for the performance analysis of manufacturing systems based on GSPNs. :46-55.
[GMM06] Gómez-Martínez, E, Merseguer J.  2006.  ArgoSPE: Model-based software performance engineering. 4024:401-410.
[1550] Kloetzer, M, Mahulea C.  2014.  An Assembly Problem with Mobile Robots. ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation.
[RP-80-09] Silva, M.  1980.  Autómata programable multicomputador. Valoración de su capacidad de tratamiento. :609-630.
[IPReTeSi99] Recalde, L, Teruel E, Silva M.  1999.  Autonomous Continuous PT systems. 1639:107-126.
[1076] García-Vallés, F, Colom JM.  1995.  A Boolean Approach to the State Machine Decomposition of Petri Nets with OBDDs. 1995 IEEE International Conference on Systems, Man and Cybernetics. 4:3451-3456.
[1310] Mayordomo, E, Blanco R.  2009.  Building maintainable, exhaustive human mitochondrial phylogenies. 17 Annual International Conference on Intelligent Systems for Molecular Biology/8th European Conference.
[BaHeMa92] Balcázar, JL, Hermo M, Mayordomo E.  1992.  Characterizations of logarithmic advice complexity classes. :315-321.
[1332] García-Vallés, F, Colom JM.  2002.  Checking Redundancies in Supervisory Control. A Complexity Result. 15th Triennial World Congress of the International Federation of Automatic Control (IFAC).
[RP-89-06] Esparza, J, Silva M.  1989.  Circuits, handles, bridges and nets. :134-153.
[IPTeFrDe99] Teruel, E, Franceschinis G, Pierro M.  1999.  Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.
[IPBaReChSi00] Basile, F, Recalde L, Chiacchio P, Silva M.  2000.  Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints. :169-180.
[1508] Murua, A, González I, Gómez-Martínez E.  2011.  Cloud-based Assistive Technology Services. Proceedings of the 3rd Workshop on Software Services: Semantic-based Software Services (WoSS) at the Federated Conference on Computer Science and Information Systems (FedCSIS).
[1555] Wang, X, Kloetzer M, Mahulea C, Silva M.  2015.  Collision avoidance of mobile robots by using initial time delays. CDC'2015: 54th IEEE Conference on Decision and Control.
[1372] Catalán, C, Serna F, Blesa A, Rams JM, Colom JM.  2011.  Communication types for manufacturing systems. A proposal to Distributed Control System based on IEC 61499. 7th Annual IEEE Conference on Automation Science and Engineering (CASE 2011).
[IPHRRS01] Hillston, J, Recalde L, Ribaudo M, Silva M.  2001.  A Comparison of the Expressiveness of SPA and Bounded SPN models. :197-206.
[AmMaZh96] Ambos-Spies, K, Mayordomo E, Zheng X.  1996.  A Comparison of Weak Completeness Notions. :171-178.
[1462] Fraca, E, Haddad S.  2013.  Complexity Analysis of Continuous Petri Nets. 34th International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN).
[RP-81-04] Silva, M, Velilla S.  1981.  Componentes conservativas elementales y realización microprogramada de una red de Petri conforme. :317-328.
[MBCD-wodes02] Merseguer, J, Bernardi S, Campos J, Donatelli S.  2002.  A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
[1514] Tricas, F, Colom JM, Merelo JJ.  2014.  Computing minimal siphons in Petri net models of Resource Allocation Systems: An evolutionary approach. International Workshop on Petri Nets and Software Engineering (PNSE'14).
[1251] Franceschelli, M, Egerstedt M, Giua A, Mahulea C.  2009.  Constrained invariant motions for networked multi-agent systems. ACC'09: Proceedings of the 2009 conference on American Control Conference.
[1518] Bañares, JA, Tolosana-Calasanz R, Tricas F, Arronategui U, Celaya J, Colom JM.  2014.  Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision. International Workshop on Petri Nets and Software Engineering (PNSE'14).
[IPSiRe05] Silva, M, Recalde L.  2005.  Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control.
[IPReHaSi07] Recalde, L, Haddad S, Silva M.  2007.  Continuous Petri Nets: Expressive Power and Decidability Issues. LNCS. 4762:362-377.