Publications
] Filters: First Letter Of Last Name is T [Clear All Filters]
[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).
[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).
[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).
[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).
[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).
[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
[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
[ICTeSi93] .
1993. Liveness and Home States in Equal Conflict Systems. Application and Theory of Petri Nets 1993. 691:415-432.
[199] .
1993. Linear Analysis of Deadlock-Freeness of Petri Net Models. Second European Control Conference, ECC'93. 2:513-518.
[200] .
1993. Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems. :213-224.
[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.
[IPSiTe96] .
1996. Petri Nets for the Design and Operation of Manufacturing Systems. :330-343.
[ARTeSi96] .
1996. Structure Theory of Equal Conflict Systems. Theoretical Computer Science. 153:271-300.
[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.
[ICSiTeVaPi98] .
1998. Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
[IPTeFrDe99] .
1999. Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.
[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.
[ICReSiEzTe04] .
2004. Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.
[ICReTeSi96] .
1996. SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.
[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.
[IPReTeSi99] .
1999. Autonomous Continuous PT systems. 1639:107-126.
