Publications
] Filters: Author is F. Tricas [Clear All Filters]
[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.
[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).
[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).
[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.
[Tricas03] .
2003. Deadlock Analysis, Prevention and Avoidance in Sequential Resource Allocation Systems.
[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-98-02] .
1998. Distributed control systems simulation using high level Petri nets. Mathematics and Computers in Simulation. 46:47-55.
[RP-95-15] .
1995. Distributed Systems Simulation using High Level Petri Nets. :227-233.
[blogtalk] .
2003. Do we live in an Small World? Measuring the Spanish-Speaking Blogosphere
[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.
[912] .
2000. An Iterative Method for Deadlock Prevention in FMS. Discrete Event Systems. Analysis and Control. :139-148.
[cost] .
2003. Measuring the Spanish Blogosphere.
[911] .
2000. New Methods for Deadlock Prevention and Avoidance in Concurrent Systems. Actas de las VIII Jornadas de Concurrencia. :97-110.
[908] .
1998. Optimal Control of Discrete Event Systems. International Workshop on Discrete Event Systems, WODES’98. :88-93.
[TricasEzpeleta97] .
2000. A Partial Approach to the Problem of Deadlocks in Processes with Resour ces. :135-150.
[TE-2] .
1999. A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources. :1047-1098.
[TricasEzpeletaETFA99] .
1999. A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources.. :1047-1056.
[1331] .
2005. A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems. 2005 IEEE International Conference on Robotics & Automation (ICRA’05). :272-278.
[915] .
1999. A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming. 11th European Simulation Symposium (ESS’99). Simulation in Industry. :542-546.
[1088] .
2000. Some Improvements to the Banker's Algorithm Based on the Process Structure. 2000 IEEE International Conference on Robotics and Automation (ICRA’2000). :2853-2858.
[TrEz-03] .
2003. Some results on siphon computation for deadlock prevention in resource allocation systems modelled with Petri nets. :16-29.
[917] .
1998. A Structural Approach to the Problem of Deadlock Prevention in Processes with Resources. International Workshop on Discrete Event Systems, WODES’98. :273-278.
[1482] .
2014. Structural deadlock prevention policies for Flexible Manufacturing Systems: A Petri net outlook. Formal Methods in Manufacturing. Abstract
