Publications
[TricasEzpeletaETFA99] A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources.. :1047-1056.
.
1999.
[TE-2] A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources. :1047-1098.
.
1999.
[1342] Implicit Places in Net Systems. IEEE 8th International Workshop on Petri Nets and Performance Models (PNPM'99). :104-113.
.
1999.
[LutMayTPRBMb] Twelve problems in resource bounded measure. Bulletin of the European Association for Theoretical Computer Science. 68:64-80.
.
1999.
[IPTeFrDe99] Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.
.
1999.
[IPReTeSi99] Autonomous Continuous PT systems. 1639:107-126.
.
1999.
[C-MATCH17-98] Performance Bounds. :587-635.
.
1998.
[C-MATCH23-98] Response Time Approximation for Stochastic Marked Graphs. :797-817.
.
1998.
[C-MATCH8-98] Performance Measures and Basic Properties. :285-304.
.
1998.
[SC-MATCH20-98] Introduction to Net Driven Decomposition Techniques. :693-718.
.
1998.
[SC-wodes98] Performance Evaluation of DEDS with Conflicts and Synchronizations Net Driven Decomposition Techniques. :398-413.
.
1998.
[1083] A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. Application and Theory of Petri Nets 1998. :64-83.
.
1998.
.
1998.
[RMBP-98] Una Herramienta de Generación Automática de Software. :157-169.
.
1998.
[SiTe-SMC98] DEDS Along Their Life-Cycle: Interpreted Extensions of Petri Nets. IEEE International Conference on Systems, Man and Cybernetics.
.
1998.
[CZEI-98] Una visión de las posibilidades del estándar OpenGIS para la interoperabilidad de aplicaciones GIS sobre CORBA. :35-40.
.
1998.
[1338] Structural Methods. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :271-315.
.
1998.
[1339] Introduction to Verification. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :171-190.
.
1998.
[1340] Properties. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :41-63.
.
1998.
[1341] 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.
.
1998.
[908] Optimal Control of Discrete Event Systems. International Workshop on Discrete Event Systems, WODES’98. :88-93.
.
1998.
[917] A Structural Approach to the Problem of Deadlock Prevention in Processes with Resources. International Workshop on Discrete Event Systems, WODES’98. :273-278.
.
1998.
[ICSiTeVaPi98] Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
.
1998.
[883] Linear Algebraic and Linear Programming Techniques for the Analysis of Place/Transition Net Systems. Lectures on Petri Nets I: Basic Models. Advances in Petri Nets. :309-373.
.
1998. .
1998.