Publications
]
[RP-82-06] .
1982. A package for computer design of concurrent logic control systems. :221-226.
[RP-86-10] .
1986. Packages for validating discrete production systems modeled with Petri nets. :457-462.
[1345] .
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.
[1401] .
2007. Parametric Architecture for Function Calculation Improvement. Architecture of Computing Systems 2007.
[1394] .
2008. Parametric Architecture for Modeling Neuronal Systems. 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing 2008.
[TricasEzpeleta97] .
2000. A Partial Approach to the Problem of Deadlocks in Processes with Resour ces. :135-150.
[MCM-WOSP-00] .
2000. A Pattern Based Approach to Model Software Performance. :137-142.
[MCM-SCI03] .
2003. A Pattern Based Approach to Model Software Performance Using UML and Petri Nets: Application to Agent Based Systems. 9:307-313.
[1485] .
2012. PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation. Proceedings of the 12th International Conference on Application of Concurrency to System Designs (ACSD).
[MIMB-ICNS-10] .
2010. Performance analysis of a dynamic architecture for reconfiguration of web servers clusters. 6th International Conference on Networking and Services (ICNS'10). :224-229.
[MCM-MSWiM-01] .
2001. Performance Analysis of Internet Based Software Retrieval Systems Using Petri Nets. :47-56.
[GIM-WOSP07] .
2007. Performance Analysis of Mobile Agents Tracking. :181-188.
[PMB-ICPE10] .
2010. Performance aware open-world software in a 3-layer architecture. First Joint WOSP/SIPEW International Conference on Performance Engineering.
[WPPSIM-WOSP-05] .
2005. Performance by Unified Model Analysis (PUMA). :1-12.
[1225] .
2009. Performance Control of Markovian Petri Nets via Fluid Models: A Stock-Level Control Example. IEEE Conference on Automation Science and Engineering.
[LGMC-02c] .
2002. Performance Engineering Based on UML and SPNs: A Software Performance Tool. :405-409.
[MCM-SEPN-00] .
2000. Performance Evaluation for the Design of Agent Based Systems: A Petri Net Approach. :1-20.
[SC-wodes98] .
1998. Performance Evaluation of DEDS with Conflicts and Synchronizations Net Driven Decomposition Techniques. :398-413.
[276] .
1990. Performance Evaluation of Repetitive Automated Manufacturing Systems. IEEE Rensselaer's Second International Conference on Computer Integrated Manufacturing. :74-81.
[1276] .
2010. Performance modeling and analysis of the Universal Control Hub. 7th European Performance Engineering Workshop, EPEW 2010.
[SC-Brussels-93] .
1993. Performance Models Based on Petri Nets. :xiv-xxi.
[PM-ICPE11] .
2011. Performance Sensitive Self-Adaptive Service-Oriented Software using Hidden Markov Models. ICPE International Conference on Performance Engineering. :201--206.
[1478] .
2013. Petri net approach for deadlock and collision avoidance in robot planning. 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013).
[1029] .
1991. Petri Net Based Analysis of VHDL Programs. Second European Conference on VHDL Methods (EURO-VHDL'91). :1-10.
[1030] .
1991. Petri Net Based Analysis of VHDL Programs. Segunda Reunión sobre Paralelismo. :115-127.
