Publications
] Filters: First Letter Of Last Name is C [Clear All Filters]
[RP-89-17] .
1989. GRAMAN: a graphic system for manufacturing system design. :311-316.
[1373] .
2010. IEC 61499 execution model based on life cycle of function blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
[1342] .
1999. Implicit Places in Net Systems. IEEE 8th International Workshop on Petri Nets and Performance Models (PNPM'99). :104-113.
[1005] .
1989. Improving the linearly based characterization of P/T nets. 10th International Conference on Application and Theory of Petri Nets. :52-73.
[263] .
1991. Improving Throughput Upper Bounds for Net Based Models. IMACS MCTS’91 International Symposium on Modeling and Control of Technological Systems. 1:573-582.
[1001] .
1988. Interrelationships among various concepts of fairness for Petri nets. 31st Midwest Symposium on Circuits and Systems. :1141-1144.
[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.
[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.
[RP-89-05] .
1989. Linear invariants in commutative high level nets. :96-114.
[1458] .
2013. log2cloud: Log-based Prediction of Cost-Performance Trade-offs for Cloud Deployments. 28th Symposium On Applied Computing. :397-404.
[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).
[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
[1254] .
2009. New results for fault detection of untimed continuous Petri nets. 48th IEEE Conference on Decision and Control.
[RP-91-34] .
1991. A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets. :145-164.
[1250] .
2009. Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
[IPCoGiSeJu03] .
2003. Observers for nondeterministic l-free labeled Petri nets.
[PJCS-96c] .
1996. On Approximate Performance Evaluation of Manufacturing Systems Modelled with Weighted T Systems. :201-207.
[PJCS-95] .
1995. On Approximate Throughput Computation of Deterministic Systems of Sequential Processes. :156-171.
[1446] .
2011. On Decentralized Observability of Discrete Event Systems. 50th IEEE Conference on Decision and Control and European Control Conference.
[1540] .
2016. On Liveness Enforcement of DSSP net systems. 52nd IEEE Annual Conference on Decision and Control (CDC). Abstract
[RCS-Atlanta-93] .
1993. On Optimal Scheduling in DEDS. :821-826.
[BC-QEST-04] .
2004. On Performance Bounds for Interval Time Petri Nets. :50-59.
