Publications
] Filters: First Letter Of Last Name is T [Clear All Filters]
[912] .
2000. An Iterative Method for Deadlock Prevention in FMS. Discrete Event Systems. Analysis and Control. :139-148.
[259] .
1992. Improving Throughput Upper Bounds for Net Based Models. Robotics and Flexible Manufacturing Systems. :281-294.
[243] .
1995. Functional and Performance Analysis of Cooperating Sequential Processes. Quantitative Methods in Parallel Systems. :52-65.
[248] .
1994. Functional and Performance Analysis of Cooperating Sequential Processes. Performance Evaluation of parallel and distributed systems. Solution Methods. :234-251.
[249] .
1994. Functional and Performance Analysis of Cooperating Sequential Processes. 11th International Conference on Analysis and Optimization Systems. Discrete Event Systems. :169-175.
[1486] .
2012. Fault-Tolerant Techniques and Security Mechanisms for Model-based Performance Prediction of Critical Systems. Proceedings of the 3rd International Symposium on Architecting Critical Systems (ISARCS).
[TricasMartinez95SMC] .
1995. An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources. :4119-4124.
[RP-95-21] .
1995. An extension of the liveness theory for concurrent sequential processes competing for shared resources. :4119-4124.
[1476] .
2013. Enforcing Liveness in S3PR Nets by Specialization of Resources. 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013). :318-321. Abstract
[blogtalk] .
2003. Do we live in an Small World? Measuring the Spanish-Speaking Blogosphere
[RP-95-15] .
1995. Distributed Systems Simulation using High Level Petri Nets. :227-233.
[RP-98-02] .
1998. Distributed control systems simulation using high level Petri nets. Mathematics and Computers in Simulation. 46:47-55.
[SiTe-SMC98] .
1998. DEDS Along Their Life-Cycle: Interpreted Extensions of Petri Nets. IEEE International Conference on Systems, Man and Cybernetics.
[1517] .
2014. The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach. 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014).
[RP-95-10] .
1995. Corrección de programas y Redes de Petri de alto nivel. :184-193.
[RP-95-12] .
1995. Corrección de programas y redes de Petri de alto nivel. :155-164.
[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).
[IPTeFrDe99] .
1999. Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.
[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.
[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.
[IPReTeSi99] .
1999. Autonomous Continuous PT systems. 1639:107-126.
[RP-87-03] .
1987. Aproximación a los robots inteligentes. :265-279.
[360] .
1994. Analysis of Autonomous Petri Nets with Bulk Services and Arrivals. 11th Int. Conf. on Analysis and Optimization of Systems. Discrete Event Systems. 199:131-143.
- « first
- ‹ previous
- 1
- 2
- 3
