Filters: Author is E. Teruel [Clear All Filters]
[IPTeFrDe99] Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.. 1999.
[03_TFP_IToSE] Well-defined generalized stochastic petri nets: a net-level method to specify priorities. Software Engineering, IEEE Transactions on. 29:962-973.. 2003.
[ICTeSi93] Liveness and Home States in Equal Conflict Systems. Application and Theory of Petri Nets 1993. 691:415-432.. 1993.
 Linear Analysis of Deadlock-Freeness of Petri Net Models. Second European Control Conference, ECC'93. 2:513-518.. 1993.
 Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems. :213-224.. 1993.
[IPSiTe96b] 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.. 1996.
[IPSiTe96] Petri Nets for the Design and Operation of Manufacturing Systems. :330-343.. 1996.
[ARTeSi96] Structure Theory of Equal Conflict Systems. Theoretical Computer Science. 153:271-300.. 1996.
 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.. 1997.
 Functional and Performance Analysis of Cooperating Sequential Processes. Quantitative Methods in Parallel Systems. :52-65.. 1995.
 Functional and Performance Analysis of Cooperating Sequential Processes. Performance Evaluation of parallel and distributed systems. Solution Methods. :234-251.. 1994.
 Functional and Performance Analysis of Cooperating Sequential Processes. 11th International Conference on Analysis and Optimization Systems. Discrete Event Systems. :169-175.. 1994.
[ICReSiEzTe04] Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.. 2004.
[ICReTeSi96] SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.. 1996.
[ARReTeSi97] Modeling and Analysis of Sequential Processes that Cooperate through Buffers. IEEE Trans on Robotics and Automation. 14:267-277.. 1998.
[ARReTeSi98] On Linear Algebraic Techniques for Liveness Analysis of PT Systems. Journal of Circuits Systems and Computers. 8:223-265.. 1998.
[ARReTeSi01] Structure Theory of Multi Level Deterministically Synchronized Sequential Processes. Theoretical Computer Science. 254:1-33.. 2001.
[ICTeSi94] Well-formedness of Equal Conflict Systems. Application and Theory of Petri Nets 1994. 815:491-510.. 1994.
 On Weighted T-Systems. Application and Theory of Petri Nets 1992. :348-367.. 1992.
 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.. 1994.
 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.. 1998.
[SiTe-SMC98] DEDS Along Their Life-Cycle: Interpreted Extensions of Petri Nets. IEEE International Conference on Systems, Man and Cybernetics.. 1998.
 Structural Methods. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :277-316.. 2002.