Publications
] Filters: First Letter Of Last Name is C [Clear All Filters]
[1317] .
2010. Deadlock Analysis in Minimal Adaptive Routing Algorithms using Petri Nets. IEEE International Conference on Systems, Man, and Cybernetics (SMC’10). :2619-2626. Abstract
[1376] .
2011. COSME: A Distributed Control Platform for Communicating Machine Tools in Agile Manufacturing Systems. 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011).
[673] .
1991. Convex Geometry and Semiflows in P/T Nets. A Comparative Study of Algorithms for Computation of Minimal P-Semiflows. Advances in Petri Nets 1990. :79-112.
[1006] .
1989. Convex Geometry and Semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. 10th International Conference on Application and Theory of Petri Nets. :74-95.
[1359] .
1990. Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows. 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.
[1371] .
2011. Control software for a cutting glass machine tool built using the COSME platform. A case study. 7th Annual IEEE Conference on Automation Science and Engineering (CASE 2011).
[1384] .
2011. Control design for machine tools using Domiciano, an IDE based on software components. 16th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2011).
[1518] .
2014. Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision. International Workshop on Petri Nets and Software Engineering (PNSE'14).
[1514] .
2014. Computing minimal siphons in Petri net models of Resource Allocation Systems: An evolutionary approach. International Workshop on Petri Nets and Software Engineering (PNSE'14).
[BC09] .
2009. Computation of Performance Bounds for Real-time systems using Time Petri Nets. IEEE Transactions on Industrial Informatics. 5(2):168-180.
[MBCD-wodes02] .
2002. A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
[1408] .
2012. Compact representation of biological sequences using set decision diagrams. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[1372] .
2011. Communication types for manufacturing systems. A proposal to Distributed Control System based on IEC 61499. 7th Annual IEEE Conference on Automation Science and Engineering (CASE 2011).
[1092] .
2000. Comments on "Deadlock Avoidance Policy for Petri-Net Modeling of Flexible Manufacturing Systems with Shared Resources". IEEE Transactions on Automatic Control. 45(9):1760-1762.
[1074] .
1995. A Colored Petri Net Model of VHDL. Formal Methods in System Design. 7(1/2):101-123.
[IPBaReChSi00] .
2000. Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints. :169-180.
[1083] .
1998. A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. Application and Theory of Petri Nets 1998. :64-83.
[204] .
1997. Choice-free Petri Nets: A Model for Deterministic Concurrent Systems with Bulk Services and Arrivals. IEEE Transactions on Systems, Man and Cybernetics. Part A: Systems and Humans. 27(1):73-83.
[1332] .
2002. Checking Redundancies in Supervisory Control. A Complexity Result. 15th Triennial World Congress of the International Federation of Automatic Control (IFAC).
[1390] .
2007. Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. :17.
[CPSM-RMUCM-93] .
1993. Boundedness on Stochastic Petri Nets. Revista Matematica de la Universidad Complutense de Madrid. 6:123-136.
[1076] .
1995. A Boolean Approach to the State Machine Decomposition of Petri Nets with OBDDs. 1995 IEEE International Conference on Systems, Man and Cybernetics. 4:3451-3456.
[910] .
2002. A Banker's Solution for Deadlock Avoidance in FMS with Flexible Routing and Multiresource States. IEEE Transactions on Robotics and Automation. 18(4):621-625.
[1079] .
1997. Automatic Synthesis of Colored Petri Nets for the Control of FMS. IEEE Transactions on Robotics and Automation. 13(3):327-337.
[PJCS-TSCM07] .
2007. Approximate Throughput Computation of Stochastic Weighted T-Systems. IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans. 37:431-444.
