Publications

[C-MATCH8-98] Campos, J. 1998. Performance Measures and Basic Properties. :285-304.

98_C_MATCH8.ps

Google Scholar

[SC-MATCH20-98] Silva, M, Campos J. 1998. Introduction to Net Driven Decomposition Techniques. :693-718.

98_SC_MATCH20.ps

Google Scholar

[IPReTeSi99] Recalde, L, Teruel E, Silva M. 1999. Autonomous Continuous PT systems. 1639:107-126.

99_RTS_ICATPN.pdf

Google Scholar

[1342] García-Vallés, F, Colom JM. 1999. Implicit Places in Net Systems. IEEE 8th International Workshop on Petri Nets and Performance Models (PNPM'99). :104-113.

Google Scholar

[CDS-TSE-99] Campos, J, Donatelli S, Silva M. 1999. Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Transactions on Software Engineering. 25:147-165.

99_CDS_TSE.ps

Google Scholar

[ZRS-ECC99] Zimmermann, A, Rodríguez D, Silva M. 1999. Modelling and Optimization of Manufacturing Systems Petri Nets and Simulated Annealing.

99_ZRS_ECC.ps

Google Scholar

[IPBaReChSi00] Basile, F, Recalde L, Chiacchio P, Silva M. 2000. Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints. :169-180.

00_BCRS_WODES.ps

Google Scholar

[ZRS-Wod00] Zimmermann, A, Rodríguez D, Silva M. 2000. A Two Phase Optimisation Strategy for DEDS Application to Manufacturing Systems. :291-298.

00_ZRS_WODES.ps

Google Scholar

[IPJiReSi01] Jimenez, E, Recalde L, Silva M. 2001. Forrester Diagrams and Continuous Petri Nets A Comparative View. :85-94.

01_JRS_ETFA.pdf

Google Scholar

[ARReSi00] Recalde, L, Silva M. 2001. Petri Nets fluidification revisited Semantics and steady state. APII JESA. 35:435-449.

00_RS_ADPM.ps

Google Scholar

[IPMoHaSeSi01] Moreaux, P, Haddad S, Sereno M, Silva M. 2001. Structural Characterisation and Qualitative Properties of Product Form Stochastic Petri Nets.

silva.pdf

Google Scholar

[ZRS-JIM-01] Zimmermann, A, Rodríguez D, Silva M. 2001. A Two Phase Optimisation Method for Petri Net Models of Manufacturing Systems. Journal of Intelligent Manufacturing. 12:421-432.

01_ZRS_JourIM.ps

Google Scholar

[ARReTeSi01] Recalde, L, Teruel E, Silva M. 2001. Structure Theory of Multi Level Deterministically Synchronized Sequential Processes. Theoretical Computer Science. 254:1-33.

01_RTS_TCS.ps

Google Scholar

[ZRS-EKA2001] Zimmermann, A, Rodríguez D, Silva M. 2001. Ein effizientes Optimierungsverfahren für Petri Netz Modelle von Fertigungssystemen.

01_ZRS_EKA.ps

Google Scholar

[IPHRRS01] Hillston, J, Recalde L, Ribaudo M, Silva M. 2001. A Comparison of the Expressiveness of SPA and Bounded SPN models. :197-206.

01_HRRS_PNPM.ps

Google Scholar

[IPReJuSi02] Recalde, L, Julvez J, Silva M. 2002. Steady State Performance evaluation for some continuous Petri nets. :N479.

ifac2002.pdf

Google Scholar

[IPJuReSi02] Julvez, J, Recalde L, Silva M. 2002. On deadlock freeness analysis of autonomous and timed continuous mono T semiflow nets. :781-786.

cdc2002.pdf

Google Scholar

[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.

02_SR_TSMC.pdf

Google Scholar

[1327] [Anonymous]. 2002. International Workshop on Discrete Event Systems (WODES'02).

Google Scholar

[1334] Colom, JM, Teruel E, Silva M, Haddad S. 2002. Structural Methods. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :277-316.

Google Scholar

[1335] Colom, JM, Silva M, Teruel E. 2002. Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.