Publications
Filters: First Letter Of Title is P [Clear All Filters]
[MCM-MSWiM-01] Performance Analysis of Internet Based Software Retrieval Systems Using Petri Nets. :47-56.
.
2001.
[MCM-LNCS-01] A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
.
2001.
[ARReSi00] Petri Nets fluidification revisited Semantics and steady state. APII JESA. 35:435-449.
.
2001.
[MCM-WOSP-00] A Pattern Based Approach to Model Software Performance. :137-142.
.
2000.
[MCM-SEPN-00] Performance Evaluation for the Design of Agent Based Systems: A Petri Net Approach. :1-20.
.
2000.
[C-RR-00-00] Petri Nets.
.
2000.
[TricasEzpeleta97] A Partial Approach to the Problem of Deadlocks in Processes with Resour ces. :135-150.
.
2000.
.
1999.
[TricasEzpeletaETFA99] A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources.. :1047-1056.
.
1999.
.
1999.
[C-MATCH17-98] Performance Bounds. :587-635.
.
1998.
[C-MATCH8-98] Performance Measures and Basic Properties. :285-304.
.
1998.
[SC-wodes98] Performance Evaluation of DEDS with Conflicts and Synchronizations Net Driven Decomposition Techniques. :398-413.
.
1998.
[1340] Properties. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :41-63.
.
1998.
[ICSiTeVaPi98] Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
.
1998.
.
1998.
.
1997.
[IPSiTe96] Petri Nets for the Design and Operation of Manufacturing Systems. :330-343.
.
1996.
[1071] A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11(2):173-184.
.
1995.
[SC-Brussels-93] Performance Models Based on Petri Nets. :xiv-xxi.
.
1993.
[1057] Petri Nets applied to the modelling and analysis of computer architecture problems. Microprocessing and Microprogramming. The EUROMICRO Journal. 38(1):1-11.
.
1993.
[ICSilv93b] Practice of Petri-nets in manufacturing.
.
1993.
[1063] A Petri net based deadlock prevention policy for flexible manufacturing systems. III Jornadas de Concurrencia. :199-233.
.
1993.
[1064] A Petri Net Approach for the Analysis of VHDL Descriptions. Correct Hardware Design and Verification Methods. :15-26.
.
1993.
[RP-92-05] Petri nets in a knowledge representation schema for the coordination of plant elements. :271-276.
.
1992.