Publications

Export 356 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
Book
[C-MATCH8-98] Campos, J.  1998.  Performance Measures and Basic Properties. :285-304.
[BS98] [Anonymous].  1998.  Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques.
[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.
[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.
[1325] [Anonymous].  2005.  Proceedings of the Workshop on Control of Hybrid and Discrete Event Systems.
[RP-83-02] Silva, M, Velilla S.  1983.  Programmable logic controllers and Petri nets: A comparative study. :83-88.
[AmbMay97] Ambos-Spies, K, Mayordomo E.  1997.  Resource Bounded Measure and Randomness. :1-47.
[C-MATCH23-98] Campos, J.  1998.  Response Time Approximation for Stochastic Marked Graphs. :797-817.
[RP-86-05] Silva, M, Roy A.  1986.  Robot programming and robot vision. :11-29.
[RP-82-02] Martínez, J, Silva M.  1982.  A simple and fast algorithm to obtain all invariants of a generalized Petri net. :301-310.
[RP-89-01] Velilla, S, Silva M.  1989.  The Spy: A mechanism for safe implementation of highly concurrent systems. :75-81.
[CS-DS-90] Campos, J, Silva M.  1990.  Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :427-438.
[CS-LNCS-92] Campos, J, Silva M.  1992.  Structural Techniques and Performance Bounds of Stochastic Petri Net Models. 609:352-391.
[State-of-the-art-93] Balbo, G, Silva M, Chiola G, Campos J, others.  1993.  The Timed Coloured Petri Net Formalism Position Paper. 14:3-60.
[RP-91-30] Esparza, J, Silva M.  1991.  Top-down synthesis of live and bounded free choice nets. 524:118-139.
[RP-87-04] Silva, M.  1987.  Towards a Synchrony Theory for P/T Nets. :435-460.
[LutMayTPRBM] Lutz, JH, Mayordomo E.  2001.  Twelve problems in resource bounded measure. :83-101.
Book Chapter
[360] Silva, M, Teruel E.  1994.  Analysis of Autonomous Petri Nets with Bulk Services and Arrivals. 11th Int. Conf. on Analysis and Optimization of Systems. Discrete Event Systems. 199:131-143.
[239] Campos, J, Colom JM, Jungnitz H, Silva M.  1995.  Approximate Throughput Computation of Stochastic Marked Graphs. Quantitative Methods in Parallel Systems. :175-188.
[ICEsSi90a] Esparza, J, Silva M.  1991.  Circuits, Handles, Bridges and Nets. Advances in Petri Nets 90. 483:210-242.
[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.