Publications

Export 80 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Title 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
[IPSiTe96b] Silva, M, Teruel E.  1996.  A Systems Theory Perspective of Discrete Event Dynamic Systems The Petri Net Paradigm. Symposium on Discrete Events and Manufacturing Systems. CESA 96 IMACS Multiconference. :1-12.
[RP-93-07] Ezpeleta, J, Martínez J.  1993.  Synthesis of live models for a class of FMS. :557-563.
[1061] Ezpeleta, J, Martínez J, Colom JM.  1993.  Synthesis of Live High Level Models for a Class of FMS. 1993, IEEE International Conference on Systems, Man and Cybernetics. Systems Engineering in the Service of Humans (IEEE/SMC'93). 1:589-594.
[1329] Carmona, J, Colom JM, Cortadella J, García-Vallés F.  2006.  Synthesis of Asynchronous Controllers using Integer Linear Programming. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 25(9):1637-1651.
[RP-79-01] Silva, M, David R.  1979.  Synthèse programmée des automatismes logiques décrits par réseaux de Petri: Une méthode de mise en oeuvre sur microcalculateurs. Rairo-Automatique. 13:369-393.
[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.
[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.
[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.
[RP05] Rodríguez, D, Piedrafita R.  2005.  Supervisión y Control de Tiempos en Sistemas: experiencia en una Célula Flexible de Fabricación. :8.
[CDS-StMalo-97] Campos, J, Donatelli S, Silva M.  1997.  Structured Solution of Stochastic DSSP Systems. :91-100.
[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.
[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.
[ARReTeSi01] Recalde, L, Teruel E, Silva M.  2001.  Structure Theory of Multi Level Deterministically Synchronized Sequential Processes. Theoretical Computer Science. 254:1-33.
[ARTeSi96] Teruel, E, Silva M.  1996.  Structure Theory of Equal Conflict Systems. Theoretical Computer Science. 153:271-300.
[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.
[CS-LNCS-92] Campos, J, Silva M.  1992.  Structural Techniques and Performance Bounds of Stochastic Petri Net Models. 609:352-391.
[SC-Erlangen-95] Silva, M, Campos J.  1995.  Structural Performance Analysis of Stochastic Petri Nets. :61-70.
[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
[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.
[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
[IPMoHaSeSi01] Moreaux, P, Haddad S, Sereno M, Silva M.  2001.  Structural Characterisation and Qualitative Properties of Product Form Stochastic Petri Nets.
[917] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J.  1998.  A Structural Approach to the Problem of Deadlock Prevention in Processes with Resources. International Workshop on Discrete Event Systems, WODES’98. :273-278.
[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.
[1333] García-Vallés, F, Colom JM.  2003.  Structural Analysis of Signal Transition Graphs based on Linear Algebraic Techniques. Petri Net Approaches for Modelling and Validation. :35-51.