Publications

Export 75 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: First Letter Of Last Name is T  [Clear All Filters]
Book Chapter
[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.
[1337] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J.  2005.  Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems. Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005). :65-77.
[ICTeSi94] Teruel, E, Silva M.  1994.  Well-formedness of Equal Conflict Systems. Application and Theory of Petri Nets 1994. 815:491-510.
Conference Paper
[IPReTeSi99] Recalde, L, Teruel E, Silva M.  1999.  Autonomous Continuous PT systems. 1639:107-126.
0 icon
99_RTS_ICATPN.pdf
[IPTeFrDe99] Teruel, E, Franceschinis G, Pierro M.  1999.  Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.
0 icon
99_TFD_PNPM.ps
[1514] Tricas, F, Colom JM, Merelo JJ.  2014.  Computing minimal siphons in Petri net models of Resource Allocation Systems: An evolutionary approach. International Workshop on Petri Nets and Software Engineering (PNSE'14).
[1518] Bañares, JA, Tolosana-Calasanz R, Tricas F, Arronategui U, Celaya J, Colom JM.  2014.  Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision. International Workshop on Petri Nets and Software Engineering (PNSE'14).
[RP-95-10] Tricas, F, Martínez J.  1995.  Corrección de programas y Redes de Petri de alto nivel. :184-193.
[RP-95-12] Tricas, F, Martínez J.  1995.  Corrección de programas y redes de Petri de alto nivel. :155-164.
[1517] López-Grao, JP, Colom JM, Tricas F.  2014.  The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach. 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014).
[SiTe-SMC98] Silva, M, Teruel E.  1998.  DEDS Along Their Life-Cycle: Interpreted Extensions of Petri Nets. IEEE International Conference on Systems, Man and Cybernetics.
application/pdf icon
2.Syst-Theory_San_Diego98.pdf
[RP-95-15] Tricas, F, Martínez J.  1995.  Distributed Systems Simulation using High Level Petri Nets. :227-233.
[blogtalk] Tricas, F, Ruiz, Merelo.  2003.  Do we live in an Small World? Measuring the Spanish-Speaking Blogosphere
[1476] Timotei, A, Colom JM.  2013.  Enforcing Liveness in S3PR Nets by Specialization of Resources. 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013). :318-321. Abstract
[TricasMartinez95SMC] Tricas, F, Martínez J.  1995.  An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources. :4119-4124.
[RP-95-21] Tricas, F, Martínez J.  1995.  An extension of the liveness theory for concurrent sequential processes competing for shared resources. :4119-4124.
[1486] Rodríguez, RJ, Trubiani C, Merseguer J.  2012.  Fault-Tolerant Techniques and Security Mechanisms for Model-based Performance Prediction of Critical Systems. Proceedings of the 3rd International Symposium on Architecting Critical Systems (ISARCS).
application/pdf icon
RTM-ISARCS-12.pdf
[199] Teruel, E, Colom JM, Silva M.  1993.  Linear Analysis of Deadlock-Freeness of Petri Net Models. Second European Control Conference, ECC'93. 2:513-518.
0 icon
93_TCS_ECC.ps
[1364] Teruel, E, Colom JM, Silva M.  1993.  Linear Analysis of Deadlock-Freeness of Petri Net Models. III Jornadas de Concurrencia. :175-180.
[cost] Merelo, Tricas F, Ruiz.  2003.  Measuring the Spanish Blogosphere.
[1362] Teruel, E, Colom JM, Silva M.  1993.  Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
[RP-89-11] Tardós, Silva M.  1989.  Multisensor Object Recognition using an Hypothesis-Verification Scheme. :265-272.
[1477] Timotei, A, Colom JM.  2013.  A New Approach to Prevent Deadlock in S3PR Nets with Unreplicable Resources. 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013). :252-257. Abstract
[1363] Teruel, E, Chrzastowski P, Colom JM, Silva M.  1993.  On Weighted T-Systems. III Jornadas de Concurrencia. :293-312.
[908] García-Vallés, F, Tricas F, Ezpeleta J, Colom JM.  1998.  Optimal Control of Discrete Event Systems. International Workshop on Discrete Event Systems, WODES’98. :88-93.