Publications

Export 319 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is M. Silva  [Clear All Filters]
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 
O
[ARMAGIRESESI08] Mahulea, C, Giua A, Recalde L, Seatzu C, Silva M.  2008.  Optimal model predictive control of Timed Continuous Petri nets. IEEE Transactions on Automatic Control. 53:1731-1735.
[IPMaReSi05] Mahulea, C, Recalde L, Silva M.  2005.  Optimal Observability for Continuous Petri Nets. :CDROM.
P
[RP-82-06] Martínez, J, Silva M.  1982.  A package for computer design of concurrent logic control systems. :221-226.
[RP-83-01] Martínez, J, Silva M.  1983.  A package for computer design of concurrent logic control systems. :243-248.
[RP-86-10] Martínez, J, Silva M.  1986.  Packages for validating discrete production systems modeled with Petri nets. :457-462.
[1344] Colom, JM, Martínez J, Silva M.  1987.  Packages for validating discrete production systems modeled with Petri nets. Applied Modelling and Simulation of Technological Systems. :529-536.
[1345] Colom, JM, Martínez J, Silva M.  1986.  Packages for validating discrete production systems modeled with Petri nets. IMACS-IFAC Symposium on Modelling and Simulation for Control of Lumped and Distributed Parameter Systems. :457-462.
[RP-87-02] Martínez, J, Silva M.  1987.  Packages for validating discrete production systems modelled with Petri nets. :529-536.
[C-MATCH17-98] Campos, J.  1998.  Performance Bounds. :587-635.
[1225] Vázquez, CR, Silva M.  2009.  Performance Control of Markovian Petri Nets via Fluid Models: A Stock-Level Control Example. IEEE Conference on Automation Science and Engineering.
application/pdf icon
Performance_Control_of_Markovian_Petri_nets.pdf
[1503] Silva, M, Fraca E, Wang L.  2014.  Performance evaluation and control of manufacturing systems: A continuous Petri nets view. Formal Methods in Manufacturing. :409-452.
[SC-wodes98] Silva, M, Campos J.  1998.  Performance Evaluation of DEDS with Conflicts and Synchronizations Net Driven Decomposition Techniques. :398-413.
0 icon
98_SC_wodes.ps
[276] Campos, J, Colom JM, Silva M.  1990.  Performance Evaluation of Repetitive Automated Manufacturing Systems. IEEE Rensselaer's Second International Conference on Computer Integrated Manufacturing. :74-81.
0 icon
90_CCS_Rensselaer.ps
[C-MATCH8-98] Campos, J.  1998.  Performance Measures and Basic Properties. :285-304.
0 icon
98_C_MATCH8.ps
[SC-Brussels-93] Silva, M, Campos J.  1993.  Performance Models Based on Petri Nets. :xiv-xxi.
0 icon
93_SC_Brussels.ps
[BS98] [Anonymous].  1998.  Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques.
application/pdf icon
matchbook.pdf
[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.
[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.
0 icon
02_SR_TSMC.pdf
[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
[ICSiTeVaPi98] Silva, M, Teruel E, Valette R, Pingaud H.  1998.  Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
0 icon
98_STVP_LPN.ps
[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.
[ARReSi00] Recalde, L, Silva M.  2001.  Petri Nets fluidification revisited Semantics and steady state. APII JESA. 35:435-449.
0 icon
00_RS_ADPM.ps
[IPSiTe96] Silva, M, Teruel E.  1996.  Petri Nets for the Design and Operation of Manufacturing Systems. :330-343.
0 icon
96_ST_CIMAT.ps
[RP-86-03] Alla, H, Silva M.  1986.  Petri nets for the specification of FMSs. :389-406.