Publications
Filters: First Letter Of Last Name is C [Clear All Filters]
[1392] Fractional Positional Notation for Exact Rational Arithmetic. Computability in Europe 2010.
.
2010.
[1062] A Framework for Automated Static Analysis of VHDL. First Asian Pacific Conference on Hardware Description Languages, Standards and Applications (APCHDLSA'93). :71-75.
.
1993.
[LGMC-WOSP02] From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. :25-36.
.
2004.
[252] A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. IEEE 5th International Workshop on Petri Nets and Performance Models (PNPM'93). :138-147.
.
1993.
[RP-89-17] GRAMAN: a graphic system for manufacturing system design. :311-316.
.
1989.
[1373] IEC 61499 execution model based on life cycle of function blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
.
2010.
[1342] Implicit Places in Net Systems. IEEE 8th International Workshop on Petri Nets and Performance Models (PNPM'99). :104-113.
.
1999.
[1005] Improving the linearly based characterization of P/T nets. 10th International Conference on Application and Theory of Petri Nets. :52-73.
.
1989.
[263] Improving Throughput Upper Bounds for Net Based Models. IMACS MCTS’91 International Symposium on Modeling and Control of Technological Systems. 1:573-582.
.
1991.
[1001] Interrelationships among various concepts of fairness for Petri nets. 31st Midwest Symposium on Circuits and Systems. :1141-1144.
.
1988.
[1311] Lender processes competing for shared resources: Beyond the $S^4PR$ paradigm. 2006 International Conference on Systems, Man and Cybernetics (SMC'06). 4:3052--3059.
.
2006.
[199] Linear Analysis of Deadlock-Freeness of Petri Net Models. Second European Control Conference, ECC'93. 2:513-518.
.
1993.
[1364] Linear Analysis of Deadlock-Freeness of Petri Net Models. III Jornadas de Concurrencia. :175-180.
.
1993.
[RP-89-05] Linear invariants in commutative high level nets. :96-114.
.
1989.
[1458] log2cloud: Log-based Prediction of Cost-Performance Trade-offs for Cloud Deployments. 28th Symposium On Applied Computing. :397-404.
.
2013.
[1515] 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).
.
2014.
[1362] Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
.
1993.
[1432] Modular Petri net modeling of the Spanish Health System. 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2012).
.
2012.
[1477] 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
.
2013.
[1254] New results for fault detection of untimed continuous Petri nets. 48th IEEE Conference on Decision and Control.
.
2009.
[RP-91-34] A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets. :145-164.
.
1991.
[1250] Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
.
2009.
[IPCoGiSeJu03] Observers for nondeterministic l-free labeled Petri nets.
.
2003.
.
1996. .
1995.