Publications
] Filters: Author is E. Teruel [Clear All Filters]
[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.
[IPReTeSi99] .
1999. Autonomous Continuous PT systems. 1639:107-126.
[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.
[IPTeFrDe99] .
1999. Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.
[SiTe-SMC98] .
1998. DEDS Along Their Life-Cycle: Interpreted Extensions of Petri Nets. IEEE International Conference on Systems, Man and Cybernetics.
[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.
[883] .
1998. Linear Algebraic and Linear Programming Techniques for the Analysis of Place/Transition Net Systems. Lectures on Petri Nets I: Basic Models. Advances in Petri Nets. :309-373.
[199] .
1993. Linear Analysis of Deadlock-Freeness of Petri Net Models. Second European Control Conference, ECC'93. 2:513-518.
[1364] .
1993. Linear Analysis of Deadlock-Freeness of Petri Net Models. III Jornadas de Concurrencia. :175-180.
[ICTeSi93] .
1993. Liveness and Home States in Equal Conflict Systems. Application and Theory of Petri Nets 1993. 691:415-432.
[1341] .
1998. Logical Properties of P/T Systems and their Analysis. Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques Vol.1, HCM-MATCH Advanced Schools. :185-232.
[ARReTeSi97] .
1998. Modeling and Analysis of Sequential Processes that Cooperate through Buffers. IEEE Trans on Robotics and Automation. 14:267-277.
[200] .
1993. Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems. :213-224.
[1362] .
1993. Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
[ARReTeSi98] .
1998. On Linear Algebraic Techniques for Liveness Analysis of PT Systems. Journal of Circuits Systems and Computers. 8:223-265.
[337] .
1992. On Weighted T-Systems. Application and Theory of Petri Nets 1992. :348-367.
[1363] .
1993. On Weighted T-Systems. III Jornadas de Concurrencia. :293-312.
[ICReSiEzTe04] .
2004. Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.
[ICSiTeVaPi98] .
1998. Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
[IPSiTe96] .
1996. Petri Nets for the Design and Operation of Manufacturing Systems. :330-343.
[1335] .
2002. Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.
[1340] .
1998. Properties. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :41-63.
[ICReTeSi96] .
1996. SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.
