Publications

Export 663 results:
Sort by: Author Title [ Type (Desc)] Year
Book
[RP-85-08] Martínez, J, Silva M.  1985.  A language for the description of Concurrent Systems Modeled by Colored Petri nets. Application to the Control of Flexible Manufacturing Systems. :369-388.
[RP-85-01] Silva, M.  1985.  Las redes de Petri en la Automática y la Informática.
[RP-85-06] Silva, M.  1985.  Lenguajes para la programación de robots industriales. :11-80.
[ICCoMa90] Couvreur, JM, Martínez J.  1991.  Linear Invariants in Commutative High Level Nets. :146-165.
[RP-89-18] Villarroel, JL, Martínez J, Muro P, Silva M, Smith SF.  1989.  Merging Artificial Intelligence Techniques and Petri nets for Time Scheduling and Control of Production Systems. :141-144.
[RP-85-07] Martínez, J, Silva M.  1985.  Modelling and Validation of Complex Systems modeled by Colored Petri Nets. 188:15-31.
[RP-91-32] Muro, P, Silva M.  1991.  Modelling, validation and software implementation of production systems using high-level Petri nets. :618-623.
[RP-93-56] Couvreur, JM, Silva M.  1993.  A new technique for finding a generating family of siphons, traps and st-components. 674:126-147.
[RP-91-18] Esparza, J, Silva M.  1991.  On the Analysis and Synthesis of Free Choice Systems. 483:243-286.
[RP-83-01] Martínez, J, Silva M.  1983.  A package for computer design of concurrent logic control systems. :243-248.
[RP-87-02] Martínez, J, Silva M.  1987.  Packages for validating discrete production systems modelled with Petri nets. :529-536.
[C-DEMON-91] Campos, J.  1991.  Performance Analysis of Live and Bounded Free Choice Systems. Studien. 198:38-48.
0 icon
91_C_DEMON.ps
[C-MATCH17-98] Campos, J.  1998.  Performance Bounds. :587-635.
[MCM-LNCS-01] Merseguer, J, Campos J, Mena E.  2001.  A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
0 icon
01_MCM_LNCS.pdf
[C-MATCH8-98] Campos, J.  1998.  Performance Measures and Basic Properties. :285-304.
0 icon
98_C_MATCH8.ps
[BS98] [Anonymous].  1998.  Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques.
application/pdf icon
matchbook.pdf
[1326] [Anonymous].  2003.  Petri Net Approaches for Modelling and Validation. Lincom Studies in Computer Science. 1
[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.
[ICReSiEzTe04] Recalde, L, Silva M, Ezpeleta J, Teruel E.  2004.  Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.
0 icon
examples_tour.pdf
[RP-92-33] Ezpeleta, J, Martínez J.  1992.  Petri Nets as a specification language for manufacturing systems. :427-436.
[RP-86-03] Alla, H, Silva M.  1986.  Petri nets for the specification of FMSs. :389-406.
[RP-90-14] Murata, T, Silva M.  1990.  Petri-Net Based Fairness Concepts for Discrete Event Systems. :549-557.
[ICSilv93b] Vernadat, F, Dicesare F, Harhalakis G, Proth JM, Silva M.  1993.  Practice of Petri-nets in manufacturing.
[1324] [Anonymous].  2007.  Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’07).