Publications

Export 241 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Last Name is C  [Clear All Filters]
1989
[CS-Lyon-89] Campos, J, Silva M.  1989.  Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :559-585.
[1005] Colom, JM, Silva M.  1989.  Improving the linearly based characterization of P/T nets. 10th International Conference on Application and Theory of Petri Nets. :52-73.
[1006] Colom, JM, Silva M.  1989.  Convex Geometry and Semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. 10th International Conference on Application and Theory of Petri Nets. :74-95.
[1348] Colom, JM.  1989.  Análisis structural de redes de Petri, programación lineal y geometría convexa. Departamento de Ingeniería Eléctrica e Informática. Tesis Doctoral
[RP-89-17] Martínez, J, Silva M.  1989.  GRAMAN: a graphic system for manufacturing system design. :311-316.
1988
[1001] Leu, D, Silva M, Colom JM, Murata T.  1988.  Interrelationships among various concepts of fairness for Petri nets. 31st Midwest Symposium on Circuits and Systems. :1141-1144.
[365] Silva, M, Colom JM.  1988.  On the Computation of Structural Synchronic Invariants in P/T Nets. Advances in Petri Nets 1988. :386-417.
1987
[1347] Silva, M, Colom JM.  1987.  On the structural computation of synchronic invariants in P/T nets. I Jornadas de Concurrencia.
[995] Silva, M, Colom JM.  1987.  On the structural computation of synchronic invariants in P/T nets. Eighth European Workshop on Application and Theory of Petri Nets. :237-258.
[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.
1986
[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.
[1346] Colom, JM, Silva M, Villarroel JL.  1986.  On software implementation of Petri Nets and Colored Petri Nets using high-level concurrent languages. Seventh European Workshop on Application and Theory of Petri Nets. :207-241.
1985
[RP-85-14] Martínez, J, Colom JM.  1985.  .
[975] Martínez, J, Colom JM, Silva M.  1985.  Análisis de programas concurrentes mediante Redes de Petri. VI Congreso de Informática y Automática de la AEIA. :519-523.
[1343] Silva, M, Martínez J, Colom JM.  1985.  STAR: A Software Tool for Validating Concurrent Systems. Programming - KTSG Technical Week. :74-75.
[RP-85-08] Martínez, J, Silva M.  1985.  A language for the description of Concurrent Systems Modeled by Colored Petri nets. Application to the Control of Flexible Manufacturing Systems. :369-388.