Publications
] Filters: First Letter Of Last Name is T [Clear All Filters]
[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.
[IPSiTe96] .
1996. Petri Nets for the Design and Operation of Manufacturing Systems. :330-343.
[RP-92-34] .
1992. A rule-Petri net integrated approach for the modeling and analysis of manufacturing systems. :349-358.
[ICReTeSi96] .
1996. SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.
[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.
[1521] .
2014. Towards Petri net-based Economical Analysis for Streaming Applications executed over Cloud infrastructures. 11th International Conference on Economics of Grids, Clouds, Systems, and Services (GECON 2014).
[1520] .
2014. Using the incidence matrix in an evolutionary algorithm for Computing minimal siphons in Petri net models. 18th International Conference on System Theory, Control and Computing (ICSTCC 2014).
[IPSiTe96b] .
1996. A Systems Theory Perspective of Discrete Event Dynamic Systems The Petri Net Paradigm. Symposium on Discrete Events and Manufacturing Systems. CESA 96 IMACS Multiconference. :1-12.
[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.
[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.
[RP-98-02] .
1998. Distributed control systems simulation using high level Petri nets. Mathematics and Computers in Simulation. 46:47-55.
[ARReTeSi97] .
1998. Modeling and Analysis of Sequential Processes that Cooperate through Buffers. IEEE Trans on Robotics and Automation. 14:267-277.
[ARReTeSi98] .
1998. On Linear Algebraic Techniques for Liveness Analysis of PT Systems. Journal of Circuits Systems and Computers. 8:223-265.
[CM-LNCS-06] .
2006. On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
[ARTeSi96] .
1996. Structure Theory of Equal Conflict Systems. Theoretical Computer Science. 153:271-300.
[ARReTeSi01] .
2001. Structure Theory of Multi Level Deterministically Synchronized Sequential Processes. Theoretical Computer Science. 254:1-33.
[03_TFP_IToSE] .
2003. Well-defined generalized stochastic petri nets: a net-level method to specify priorities. Software Engineering, IEEE Transactions on. 29:962-973.
- « first
- ‹ previous
- 1
- 2
- 3
