Publications

Export 57 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: First Letter Of Title is C  [Clear All Filters]
Conference Paper
[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.
0 icon
icatpn05.pdf
[IPReHaSi07] Recalde, L, Haddad S, Silva M.  2007.  Continuous Petri Nets: Expressive Power and Decidability Issues. LNCS. 4762:362-377.
[1384] Catalán, C, Serna F, Civera T, Blesa A, Rams JM.  2011.  Control design for machine tools using Domiciano, an IDE based on software components. 16th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2011).
[1435] Wang, L, Mahulea C, Julvez J, Silva M.  2012.  Control of continuous Petri nets using ON/OFF based method. 11th Int. Workshop on Discrete Event Systems.
[1448] Wang, L, Mahulea C, Julvez J, Silva M.  2012.  Control of continuous Petri nets using ON/OFF based method. 11th Int. Workshop on Discrete Event Systems (WODES'12). :47-53.
[1371] Serna, F, Catalán C, Blesa A, Rams JM, Colom JM.  2011.  Control software for a cutting glass machine tool built using the COSME platform. A case study. 7th Annual IEEE Conference on Automation Science and Engineering (CASE 2011).
[1006] Colom, JM, Silva M.  1989.  Convex Geometry and Semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. 10th International Conference on Application and Theory of Petri Nets. :74-95.
[LutMayCVKLb] Lutz, JH, Mayordomo E.  1994.  Cook versus Karp Levin Separating Completeness Notions If NP Is Not Small. 775:415-426.
[RP-95-10] Tricas, F, Martínez J.  1995.  Corrección de programas y Redes de Petri de alto nivel. :184-193.
[RP-95-12] Tricas, F, Martínez J.  1995.  Corrección de programas y redes de Petri de alto nivel. :155-164.
[1376] Catalán, C, Serna F, Blesa A, Rams JM, Colom JM.  2011.  COSME: A Distributed Control Platform for Communicating Machine Tools in Agile Manufacturing Systems. 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011).
[1301] Mayordomo, E, Lutz JH, Gu X.  2009.  Curves that must be retraced. Sixth International Conference on Computability and Complexity in Analysis (CCA 2009).
Conference Proceedings
[1255] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M.  2010.  A Control Method for Timed Distributed Continuous Petri nets. ACC'10: Proceedings of the 2010 conference on American Control Conference.
Journal Article
[1390] Pont, SMT, Chamizo GJM, Mora MH, de Casado MG.  2007.  Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. :17.
[1398] Pont, MT S, García-Chamizo JM, Mora-Mora H, de-Miguel-Casado G.  2007.  Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. 2007:17.
[204] Teruel, E, Colom JM, Silva M.  1997.  Choice-free Petri Nets: A Model for Deterministic Concurrent Systems with Bulk Services and Arrivals. IEEE Transactions on Systems, Man and Cybernetics. Part A: Systems and Humans. 27(1):73-83.
0 icon
97_TCS_SMC.ps
[1441] F, F, B L\"owe, E M.  2012.  CiE: Programs, Proofs, Processes (Special Issue). Theory of Computing Systems. 51(3)
[1074] Olcoz, S, Colom JM.  1995.  A Colored Petri Net Model of VHDL. Formal Methods in System Design. 7(1/2):101-123.
[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.
[EzGP-03] Ezpeleta, J, Gascón P, Porta N.  2003.  COMPAS: un compilador para un lenguaje imperativo con aserciones embebidas. :47-51.
[1530] Fraca, E, Haddad S.  2015.  Complexity Analysis of Continuous Petri Nets. Fundamenta informaticae. Fundamenta Informaticae. 137:1-28.
[1426] Mayordomo, E, Becher V, Bienvenu L, Downey R.  2012.  Computability, Complexity and Randomness (Dagstuhl Seminar 12021). Dagstuhl Reports. 2(1)
[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.
application/pdf icon
09_BC_TII.pdf
[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.