Publications
] Filters: First Letter Of Title is C [Clear All Filters]
[RP-91-29] .
1991. Circuits, handles, bridges and nets. 483:210-242.
[RP-91-31] .
1991. Compositional synthesis of live and bounded free-choice nets.
[1505] .
2013. Control of Discrete-Event Systems: Automata and Petri-Net Perspectives. Lecture Notes y Control and Information Sciences. 433:478.
[ICEsSi90a] .
1991. Circuits, Handles, Bridges and Nets. Advances in Petri Nets 90. 483:210-242.
[1083] .
1998. A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. Application and Theory of Petri Nets 1998. :64-83.
[1408] .
2012. Compact representation of biological sequences using set decision diagrams. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[1493] .
2013. Continuous Petri Nets: Controllability and Control. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:407-428.
[1492] .
2013. Continuous Petri Nets: Observability and Diagnosis. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:387-406.
[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.
[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.
[BaHeMa92] .
1992. Characterizations of logarithmic advice complexity classes. :315-321.
[1332] .
2002. Checking Redundancies in Supervisory Control. A Complexity Result. 15th Triennial World Congress of the International Federation of Automatic Control (IFAC).
[RP-89-06] .
1989. Circuits, handles, bridges and nets. :134-153.
[IPTeFrDe99] .
1999. Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.
[IPBaReChSi00] .
2000. Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints. :169-180.
[1508] .
2011. Cloud-based Assistive Technology Services. Proceedings of the 3rd Workshop on Software Services: Semantic-based Software Services (WoSS) at the Federated Conference on Computer Science and Information Systems (FedCSIS).
[1555] .
2015. Collision avoidance of mobile robots by using initial time delays. CDC'2015: 54th IEEE Conference on Decision and Control.
[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).
[IPHRRS01] .
2001. A Comparison of the Expressiveness of SPA and Bounded SPN models. :197-206.
[AmMaZh96] .
1996. A Comparison of Weak Completeness Notions. :171-178.
[1462] .
2013. Complexity Analysis of Continuous Petri Nets. 34th International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN).
[RP-81-04] .
1981. Componentes conservativas elementales y realización microprogramada de una red de Petri conforme. :317-328.
[MBCD-wodes02] .
2002. A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
[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).
[1251] .
2009. Constrained invariant motions for networked multi-agent systems. ACC'09: Proceedings of the 2009 conference on American Control Conference.
