Publications

Export 663 results:
Sort by: Author [ Title (Desc)] Type Year
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 
P
[EzVa-03] Ezpeleta, J, Valk R.  2003.  A polynomial solution for deadlock avoidance in assembly systems modelled with Petri nets. :1-8.
[1292] Mayordomo, E, Moser P, Perifel S.  2011.  Polylog space compression, pushdown compression, and Lempel-Ziv are incomparable. Theory of Computing Systems. 48:731-766.
[1299] Mayordomo, E, Moser P.  2009.  polylog space compression is incomparable with Lempel-Ziv and pushdown compression.
[GuLuMa06] Gu, X, Lutz JH, Mayordomo E.  2006.  Points on computable curves. :469–474.
[C-Zaragoza-99] Campos, J.  1999.  PNPM99-PAPM99-NSMC99 Tutorial: Properties and Bounds on P/T Nets.
[BC-StMalo-97] Baynat, B, Campos J.  1997.  PNPM97 Tutorial Approximate Methods Based on Net Driven Decompositions.
[1551] Kloetzer, M, Mahulea C.  2014.  Planning Mobile Robots with Boolean-based Specifications. CDC'2014: 53rd IEEE Conference on Decision and Control.
[1227] Vázquez, CR, Silva M.  2009.  Piecewise-Linear Constrained Control for Timed Continuous Petri Nets. IEEE Conference on Decision and Control.
[1412] Álvarez-Jarreta, J, Mayordomo E, Ruiz-Pesini E.  2012.  PHYSER: An Algorithm to Detect Sequencing Errors from Phylogenetic Information. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[1322] Requeno, JI, Blanco R, de Miguel G, Colom JM.  2011.  Phylogenetic Analysis Using an SMV Tool. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). :167-174.
[RP-90-14] Murata, T, Silva M.  1990.  Petri-Net Based Fairness Concepts for Discrete Event Systems. :549-557.
[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).
[RP-92-05] Silva, M, Muro P.  1992.  Petri nets in a knowledge representation schema for the coordination of plant elements. :271-276.
[RP-86-03] Alla, H, Silva M.  1986.  Petri nets for the specification of FMSs. :389-406.
[IPSiTe96] Silva, M, Teruel E.  1996.  Petri Nets for the Design and Operation of Manufacturing Systems. :330-343.
[ARReSi00] Recalde, L, Silva M.  2001.  Petri Nets fluidification revisited Semantics and steady state. APII JESA. 35:435-449.
[RP-91-10] Ezpeleta, J, Martínez J.  1991.  Petri Nets as a specification language for manufacturing systems.
[RP-92-33] Ezpeleta, J, Martínez J.  1992.  Petri Nets as a specification language for manufacturing systems. :427-436.
[1057] Silva, M, Colom JM.  1993.  Petri Nets applied to the modelling and analysis of computer architecture problems. Microprocessing and Microprogramming. The EUROMICRO Journal. 38(1):1-11.
[ICSiTeVaPi98] Silva, M, Teruel E, Valette R, Pingaud H.  1998.  Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
[ICReSiEzTe04] Recalde, L, Silva M, Ezpeleta J, Teruel E.  2004.  Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.
[ARSiRe02] Silva, M, Recalde L.  2002.  Petri nets and integrality relaxations A view of continuous Petri nets. IEEE Trans on Systems Man and Cybernetics. 32:314-327.
[ICSiVa89] Silva, M, Valette R.  1989.  Petri Nets and Flexible Manufacturing. :374-417.
[RP-90-11] Silva, M, Valette R.  1990.  Petri Nets and Flexible Manufacturing. 424:374-417.
[C-RR-00-00] Campos, J.  2000.  Petri Nets.