Model-driven development of data intensive applications over cloud resources
Tolosana-Calasanz, Rafael, Bañares, José Ángel, Colom, José-Manuel
Published in Future generation computer systems (01.10.2018)
Published in Future generation computer systems (01.10.2018)
Get full text
Journal Article
Modular Petri net modeling of healthcare systems
Mahulea, Cristian, Mahulea, Liliana, García Soriano, Juan Manuel, Colom, José Manuel
Published in Flexible services and manufacturing journal (01.06.2018)
Published in Flexible services and manufacturing journal (01.06.2018)
Get full text
Journal Article
Large scale system design aided by modelling and DES simulation: A Petri net approach
Arronategui, Unai, Bañares, José Ángel, Colom, José Manuel
Published in Software, practice & experience (10.09.2024)
Published in Software, practice & experience (10.09.2024)
Get full text
Journal Article
Deadlock analysis in minimal adaptive routing algorithms using Petri Nets
Rovetto, Carlos A, Cano, Elia E, Colom, José-Manuel
Published in 2010 IEEE International Conference on Systems, Man and Cybernetics (01.10.2010)
Published in 2010 IEEE International Conference on Systems, Man and Cybernetics (01.10.2010)
Get full text
Conference Proceeding
Synthesis of asynchronous controllers using integer linear programming
Carmona, J., Colom, J.-M., Cortadella, J., Garcia-Valles, F.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.09.2006)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.09.2006)
Get full text
Journal Article
Publication
The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach
Lopez-Grao, Juan-Pablo, Colom, Jose-Manuel, Tricas, Fernando
Published in Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) (01.09.2014)
Published in Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) (01.09.2014)
Get full text
Conference Proceeding
Model checking software for phylogenetic trees using distribution and database methods
Requeno, José Ignacio, Colom, José Manuel
Published in Journal of integrative bioinformatics (01.12.2013)
Published in Journal of integrative bioinformatics (01.12.2013)
Get full text
Journal Article
Model checking software for phylogenetic trees using distribution and database methods
Requeno, José Ignacio, Colom, José Manuel
Published in Journal of integrative bioinformatics (01.12.2013)
Published in Journal of integrative bioinformatics (01.12.2013)
Get full text
Journal Article
Model-driven development of data intensive applications over cloud resources
Tolosana-Calasanz, Rafael, Bañares, José Ángel, José-Manuel Colom
Published in arXiv.org (31.01.2024)
Published in arXiv.org (31.01.2024)
Get full text
Paper
Journal Article
Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
Year of Publication 2013
Get full text
Conference Proceeding