Publications

Export 101 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: First Letter Of Title is P  [Clear All Filters]
Conference Paper
[1030] Olcoz, S, Colom JM.  1991.  Petri Net Based Analysis of VHDL Programs. Segunda Reunión sobre Paralelismo. :115-127.
[1063] Ezpeleta, J, Colom JM, Martínez J.  1993.  A Petri net based deadlock prevention policy for flexible manufacturing systems. III Jornadas de Concurrencia. :199-233.
[1027] Briz, JL, Colom JM, Viñals V.  1991.  Petri net Based Modelling, Analysis and Simulation of Pipelined Architectures. P.D. COM'91 IMACS-IFAC International Symposium on Parallel and Distributed Computing in Engineering Systems. :37-38.
[TE-2] Tricas, F, Ezpeleta J.  1999.  A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources. :1047-1098.
[TricasEzpeletaETFA99] Tricas, F, Ezpeleta J.  1999.  A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources.. :1047-1056.
[1331] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J.  2005.  A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems. 2005 IEEE International Conference on Robotics & Automation (ICRA’05). :272-278.
[RP-91-10] Ezpeleta, J, Martínez J.  1991.  Petri Nets as a specification language for manufacturing systems.
[IPSiTe96] Silva, M, Teruel E.  1996.  Petri Nets for the Design and Operation of Manufacturing Systems. :330-343.
[RP-92-05] Silva, M, Muro P.  1992.  Petri nets in a knowledge representation schema for the coordination of plant elements. :271-276.
[1519] Mahulea, C, Mahulea L, García-Soriano JM, Colom JM.  2014.  Petri Nets with Resources for modeling Primary Healthcare Systems. 18th International Conference on System Theory, Control and Computing (ICSTCC 2014).
[1227] Vázquez, CR, Silva M.  2009.  Piecewise-Linear Constrained Control for Timed Continuous Petri Nets. IEEE Conference on Decision and Control.
[1551] Kloetzer, M, Mahulea C.  2014.  Planning Mobile Robots with Boolean-based Specifications. CDC'2014: 53rd IEEE Conference on Decision and Control.
[BC-StMalo-97] Baynat, B, Campos J.  1997.  PNPM97 Tutorial Approximate Methods Based on Net Driven Decompositions.
[C-Zaragoza-99] Campos, J.  1999.  PNPM99-PAPM99-NSMC99 Tutorial: Properties and Bounds on P/T Nets.
[GuLuMa06] Gu, X, Lutz JH, Mayordomo E.  2006.  Points on computable curves. :469–474.
[1299] Mayordomo, E, Moser P.  2009.  polylog space compression is incomparable with Lempel-Ziv and pushdown compression.
[EzVa-03] Ezpeleta, J, Valk R.  2003.  A polynomial solution for deadlock avoidance in assembly systems modelled with Petri nets. :1-8.
[RP-90-10] Esparza, J, Silva M.  1990.  A polynomial-time algorithm to decide liveness of bounded free choice nets.
[1321] Serna, F, Catalán C, Blesa A, Rams JM, Colom JM.  2011.  Predictive Maintenance Manager design pattern for component based machine tools. IEEE 9th International Conference on Industrial Informatics (INDIN’2011).
[1377] Serna, F, Catalán C, Blesa A, Rams JM, Colom JM.  2011.  "Predictive Maintenance Surveyor" Design Pattern for Machine Tools Control Software Applications. 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011).
[1444] Kloetzer, M, Mahulea C, Pastravanu O.  2011.  A Probabilistic Abstraction Approach for Planning and Controlling Mobile Robots. ETFA'2011: 16th IEEE International Conference on Emerging Technologies and Factory Automation.
[RP-82-07] Silva, M, Velilla S.  1982.  Programmable logic controllers and Petri nets: A comparative study. :29-34.
[CCS-Kyoto-89] Campos, J, Chiola G, Silva M.  1989.  Properties and Steady State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. :210-220.
[IPGIMARESESI08] Giua, A, Mahulea C, Recalde L, Seatzu C, Silva M.  2008.  Properties of continuous Petri nets controlled via model predictive control.
[MoEz-03] Moldt, D, Ezpeleta J.  2003.  A Proposal for Flexible Testing of Deadlock Control Strategies in Resource Allocation Systems. :586-595.