Publications
] Filters: First Letter Of Last Name is C [Clear All Filters]
[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.
[1254] .
2009. New results for fault detection of untimed continuous Petri nets. 48th IEEE Conference on Decision and Control.
[RP-93-56] .
1993. A new technique for finding a generating family of siphons, traps and st-components. 674:126-147.
[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.
[ICEzCoSi93] .
1993. A New Technique for Finding a Generating Family of Siphons, Traps and ST-Components. Application to Coloured Petri Nets. Advances in Petri Nets. 674:126-147.
[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.
[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.
[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.
[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.
[PJC-JJCC99] .
1999. On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :249-268.
[PJC-PNPM99] .
1999. On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :32-41.
[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).
[CM-LNCS-06] .
2006. On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
[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.
