Publications

Export 39 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: First Letter Of Title is A  [Clear All Filters]
2008
2010
[RJ_EPEW10] Rodríguez, RJ, Julvez J.  2010.  Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing. EPEW'10: Proceedings of the 7th European Performance Engineering Workshop. 6342:175--190. Abstract
[1279] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M.  2010.  Approaching Minimum Time Control of Timed Continuous Petri nets. Nonlinear Analysis: Hybrid Systems.
[1278] Kloetzer, M, Mahulea C, Belta C, Silva M.  2010.  An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.
[1319] Cano, E, Rovetto C, Colom JM.  2010.  An Algorithm to Compute the Minimal Siphons in $S^4PR$ Nets. 10th International Workshop on Discrete Event Systems (WODES’2010). :18-23.
2011
2012
[PMM-ICPE12] Perez-Palacin, D, Merseguer J, Mirandola R.  2012.  Analysis of Bursty Workload-aware Self-adaptive Systems. Third joint WOSP/SIPEW international conference on Performance Engineering - ICPE. :75-84.
[1413] Cano, EE, Rovetto CA, Colom JM.  2012.  An algorithm to compute the minimal siphons in S4PR nets. Discrete Event Dynamic Systems. 22(4):403-428.
2013
[1469] Colom, JM, Desel J.  2013.  Application and Theory of Petri Nets and Concurrency. 34th International Conference, PETRI NETS 2013. 7927
2014
[1550] Kloetzer, M, Mahulea C.  2014.  An Assembly Problem with Mobile Robots. ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation.
[1522] Requeno, JI, Colom JM.  2014.  Analyzing Phylogenetic Treeswith Timed and Probabilistic Model Checking: The Lactose Persistance Case Study. Journal of Integrative Bioinformatics. 11(3)
2015
[1552] Kloetzer, M, Mahulea C.  2015.  Accomplish Multi-Robot Tasks Via Petri Net Models. CASE'2015: IEEE Int. Conf. on Automation Science and Engineering.