Publications
] Filters: Author is J.M. Colom [Clear All Filters]
[912] .
2000. An Iterative Method for Deadlock Prevention in FMS. Discrete Event Systems. Analysis and Control. :139-148.
[1311] .
2006. Lender processes competing for shared resources: Beyond the $S^4PR$ paradigm. 2006 International Conference on Systems, Man and Cybernetics (SMC'06). 4:3052--3059.
[883] .
1998. 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.
[269] .
1992. Linear Algebraic Techniques for the Analysis of Petri Nets. Recent Advances in Mathematical Theory of Systems, Control, Networks, and Signal Processing II. :35-42.
[199] .
1993. Linear Analysis of Deadlock-Freeness of Petri Net Models. Second European Control Conference, ECC'93. 2:513-518.
[1364] .
1993. Linear Analysis of Deadlock-Freeness of Petri Net Models. III Jornadas de Concurrencia. :175-180.
[1341] .
1998. 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.
[1481] .
2013. Model checking software for phylogenetic trees using distribution and database methods. Journal of Integrative Bioinformatics. 10(3) Abstract
[1515] .
2014. A model-based approach for the specification and verification of clinical guidelines. Workshop on Models and Methods for Hospital Management and Planning, at 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014).
[200] .
1993. Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems. :213-224.
[1362] .
1993. Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
[1432] .
2012. Modular Petri net modeling of the Spanish Health System. 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2012).
[1477] .
2013. A New Approach to Prevent Deadlock in S3PR Nets with Unreplicable Resources. 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013). :252-257. Abstract
[911] .
2000. New Methods for Deadlock Prevention and Avoidance in Concurrent Systems. Actas de las VIII Jornadas de Concurrencia. :97-110.
[271] .
1990. On liveness analysis through linear algebraic techniques. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990.
[1346] .
1986. On software implementation of Petri Nets and Colored Petri Nets using high-level concurrent languages. Seventh European Workshop on Application and Theory of Petri Nets. :207-241.
[365] .
1988. On the Computation of Structural Synchronic Invariants in P/T Nets. Advances in Petri Nets 1988. :386-417.
[1318] .
2010. On the Computation of the Minimal Siphons of $S^4PR$ Nets from a Generating Family of Siphons. 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’2010). :paperMF-002879. Abstract
[1378] .
2011. On the deadlock analysis of multithreaded control software. 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011).
[995] .
1987. On the structural computation of synchronic invariants in P/T nets. Eighth European Workshop on Application and Theory of Petri Nets. :237-258.
[1347] .
1987. On the structural computation of synchronic invariants in P/T nets. I Jornadas de Concurrencia.
[337] .
1992. On Weighted T-Systems. Application and Theory of Petri Nets 1992. :348-367.
[1363] .
1993. On Weighted T-Systems. III Jornadas de Concurrencia. :293-312.
[251] .
1993. Operational Analysis of Timed Petri Nets. 16th International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance'93).
[238] .
1995. Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Quantitative Methods in Parallel Systems. :161-174.
