Export 57 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Title is C  [Clear All Filters]
A B [C] D E F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
[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).
[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.
[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).
[1370] Signes-Pont, MT, García-Chamizo JM, de-Miguel-Casado G, Mora-Mora H.  2009.  Computational framework for behavioural modelling of neural subsystems. Neurocomputing. 72(7-9):1667.
[BC09] Bernardi, S, Campos J.  2009.  Computation of Performance Bounds for Real-time systems using Time Petri Nets. IEEE Transactions on Industrial Informatics. 5(2):168-180.
[1426] Mayordomo, E, Becher V, Bienvenu L, Downey R.  2012.  Computability, Complexity and Randomness (Dagstuhl Seminar 12021). Dagstuhl Reports. 2(1)
[RP-91-31] Esparza, J, Silva M.  1991.  Compositional synthesis of live and bounded free-choice nets.
[MBCD-wodes02] Merseguer, J, Bernardi S, Campos J, Donatelli S.  2002.  A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
[RP-81-04] Silva, M, Velilla S.  1981.  Componentes conservativas elementales y realización microprogramada de una red de Petri conforme. :317-328.
[1530] Fraca, E, Haddad S.  2015.  Complexity Analysis of Continuous Petri Nets. Fundamenta informaticae. Fundamenta Informaticae. 137:1-28.
[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).
[EzGP-03] Ezpeleta, J, Gascón P, Porta N.  2003.  COMPAS: un compilador para un lenguaje imperativo con aserciones embebidas. :47-51.
[AmMaZh96] Ambos-Spies, K, Mayordomo E, Zheng X.  1996.  A Comparison of Weak Completeness Notions. :171-178.
[IPHRRS01] Hillston, J, Recalde L, Ribaudo M, Silva M.  2001.  A Comparison of the Expressiveness of SPA and Bounded SPN models. :197-206.
[1408] Requeno, JI, Colom JM.  2012.  Compact representation of biological sequences using set decision diagrams. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[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).
[1092] García-Vallés, F, Colom JM, Ezpeleta J.  2000.  Comments on "Deadlock Avoidance Policy for Petri-Net Modeling of Flexible Manufacturing Systems with Shared Resources". IEEE Transactions on Automatic Control. 45(9):1760-1762.
[1074] Olcoz, S, Colom JM.  1995.  A Colored Petri Net Model of VHDL. Formal Methods in System Design. 7(1/2):101-123.
[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.
[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).
[IPBaReChSi00] Basile, F, Recalde L, Chiacchio P, Silva M.  2000.  Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints. :169-180.
[1083] Ezpeleta, J, García-Vallés F, Colom JM.  1998.  A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. Application and Theory of Petri Nets 1998. :64-83.
[IPTeFrDe99] Teruel, E, Franceschinis G, Pierro M.  1999.  Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.
[ICEsSi90a] Esparza, J, Silva M.  1991.  Circuits, Handles, Bridges and Nets. Advances in Petri Nets 90. 483:210-242.
[RP-89-06] Esparza, J, Silva M.  1989.  Circuits, handles, bridges and nets. :134-153.