Filters: Author is E. Teruel [Clear All Filters]
[ICReSiEzTe04] Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.. 2004.
[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.
 Structural Methods. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :277-316.. 2002.
 Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.. 2002.
[ARReTeSi01] Structure Theory of Multi Level Deterministically Synchronized Sequential Processes. Theoretical Computer Science. 254:1-33.. 2001.
[IPTeFrDe99] Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.. 1999.
[SiTe-SMC98] DEDS Along Their Life-Cycle: Interpreted Extensions of Petri Nets. IEEE International Conference on Systems, Man and Cybernetics.. 1998.
 Structural Methods. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :271-315.. 1998.
 Properties. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :41-63.. 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.. 1998.
[ICSiTeVaPi98] Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492. 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.. 1998.
[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.
 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.
[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.
[ICReTeSi96] SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.. 1996.
 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.
[ICTeSi94] Well-formedness of Equal Conflict Systems. Application and Theory of Petri Nets 1994. 815:491-510.. 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.. 1994.