Publications

Export 356 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Last Name is S  [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   [Show ALL]
S
[ARMARARESI08] Mahulea, C, Ramirez A, Recalde L, Silva M.  2008.  Steady state control reference and token conservation laws in continuous Petri net systems. IEEE Transactions on Automation Science and Engineering. 5:307-320.
[IPMaRaReSi05] Mahulea, C, Ramirez A, Recalde L, Silva M.  2005.  Steady state control, zero valued poles and token conservation laws in continuous net systems.
[IPReJuSi02] Recalde, L, Julvez J, Silva M.  2002.  Steady State Performance evaluation for some continuous Petri nets. :N479.
[CS-DS-90] Campos, J, Silva M.  1990.  Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :427-438.
[CS-Lyon-89] Campos, J, Silva M.  1989.  Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :559-585.
[ARJuReSi05] Julvez, J, Recalde L, Silva M.  2005.  Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica. 41:605-616.
[1494] Vazquez, CR, Silva M.  2011.  Stochastic Continuous Petri Nets: An Approximation of Markovian Net Models. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans. 42(4):641-653.
[IPVaReSi08] Vázquez, CR, Recalde L, Silva M.  2008.  Stochastic-Continuous State Approximation of Markovian Petri Net Systems. IEEE Conference on Decision and Control.
[1081] García-Vallés, F, Colom JM.  1997.  Structural Analysis of Signal Transition Graphs.. Workshop Petri Nets in System Engineering (PNSE’97). Modelling, Verification and Validation. :123-134.
[IPMoHaSeSi01] Moreaux, P, Haddad S, Sereno M, Silva M.  2001.  Structural Characterisation and Qualitative Properties of Product Form Stochastic Petri Nets.
[1482] López-Grao, JP, Colom JM, Tricas F.  2014.  Structural deadlock prevention policies for Flexible Manufacturing Systems: A Petri net outlook. Formal Methods in Manufacturing. Abstract
[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.
[1338] Colom, JM, Haddad S, Silva M, Teruel E.  1998.  Structural Methods. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :271-315.
[1433] López-Grao, JP, Colom JM.  2013.  Structural methods for the control of Discrete Event Dynamic Systems – The case of the Resource Allocation Problem. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:257-278. Abstract
[SC-Erlangen-95] Silva, M, Campos J.  1995.  Structural Performance Analysis of Stochastic Petri Nets. :61-70.
[CS-LNCS-92] Campos, J, Silva M.  1992.  Structural Techniques and Performance Bounds of Stochastic Petri Net Models. 609:352-391.
[907] García-Vallés, F, Tricas F, Ezpeleta J, Colom JM.  2000.  Structuraly Safe Net Systems. Discrete Event Systems. Analysis and Control. :441-448.
[ARTeSi96] Teruel, E, Silva M.  1996.  Structure Theory of Equal Conflict Systems. Theoretical Computer Science. 153:271-300.
[ARReTeSi01] Recalde, L, Teruel E, Silva M.  2001.  Structure Theory of Multi Level Deterministically Synchronized Sequential Processes. Theoretical Computer Science. 254:1-33.
[1356] Silva, M, Teruel E, Colom JM.  1992.  Structure Theory of Non Free Choice Systems. Final Report of the ESPRIT Basis Research Action DEMON (Design Methods based on Nets) Covering the Period 18 June 1989 to 18 March 1992. :130-134.
[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.
[CDS-StMalo-97] Campos, J, Donatelli S, Silva M.  1997.  Structured Solution of Stochastic DSSP Systems. :91-100.
[RP-81-01] Silva, M.  1981.  Sur le concept de macroplace et son utilisation pour lanalyse des réseaux de Petri. RAIRO- Automatique. 15:57-67.
[RP-81-02] Silva, M.  1981.  A survey of Petri net related teaching and research in Spain. Newsletter on Petri Nets and Related Systems Models. :5-13.
[1495] Meyer, A-L, Silva M.  2012.  Symmetry Reductions in Timed Continuous Petri Nets under Infinite Server Semantic. 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS’12), . :153-159.