Publications
] Filters: First Letter Of Last Name is C [Clear All Filters]
[908] .
1998. Optimal Control of Discrete Event Systems. International Workshop on Discrete Event Systems, WODES’98. :88-93.
[917] .
1998. A Structural Approach to the Problem of Deadlock Prevention in Processes with Resources. International Workshop on Discrete Event Systems, WODES’98. :273-278.
[1338] .
1998. Structural Methods. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :271-315.
[1339] .
1998. Introduction to Verification. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :171-190.
[1340] .
1998. Properties. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :41-63.
[1341] .
1998. Logical Properties of P/T Systems and their Analysis. Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques Vol.1, HCM-MATCH Advanced Schools. :185-232.
[CZEI-98] .
1998. Una visión de las posibilidades del estándar OpenGIS para la interoperabilidad de aplicaciones GIS sobre CORBA. :35-40.
[1083] .
1998. A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. Application and Theory of Petri Nets 1998. :64-83.
[SC-wodes98] .
1998. Performance Evaluation of DEDS with Conflicts and Synchronizations Net Driven Decomposition Techniques. :398-413.
[C-MATCH17-98] .
1998. Performance Bounds. :587-635.
[C-MATCH23-98] .
1998. Response Time Approximation for Stochastic Marked Graphs. :797-817.
[C-MATCH8-98] .
1998. Performance Measures and Basic Properties. :285-304.
[SC-MATCH20-98] .
1998. Introduction to Net Driven Decomposition Techniques. :693-718.
[1342] .
1999. Implicit Places in Net Systems. IEEE 8th International Workshop on Petri Nets and Performance Models (PNPM'99). :104-113.
[915] .
1999. A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming. 11th European Simulation Symposium (ESS’99). Simulation in Industry. :542-546.
[CDS-TSE-99] .
1999. Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Transactions on Software Engineering. 25:147-165.
[PJC-JJCC99] .
1999. On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :249-268.
[C-Zaragoza-99] .
1999. PNPM99-PAPM99-NSMC99 Tutorial: Properties and Bounds on P/T Nets.
[PJC-PNPM99] .
1999. On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :32-41.
[IPBaReChSi00] .
2000. Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints. :169-180.
[1088] .
2000. Some Improvements to the Banker's Algorithm Based on the Process Structure. 2000 IEEE International Conference on Robotics and Automation (ICRA’2000). :2853-2858.
[911] .
2000. New Methods for Deadlock Prevention and Avoidance in Concurrent Systems. Actas de las VIII Jornadas de Concurrencia. :97-110.
[907] .
2000. Structuraly Safe Net Systems. Discrete Event Systems. Analysis and Control. :441-448.
[912] .
2000. An Iterative Method for Deadlock Prevention in FMS. Discrete Event Systems. Analysis and Control. :139-148.
