Publications

Export 33 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is E. Teruel  [Clear All Filters]
Conference Paper
[ICReTeSi96] Recalde, L, Teruel E, Silva M.  1996.  SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.
0 icon
96_RTS_ICATPN.ps
Conference Proceedings
[IPSiTe96b] Silva, M, Teruel E.  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.
0 icon
96_ST_CESA.ps
Journal Article
[204] Teruel, E, Colom JM, Silva M.  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.
0 icon
97_TCS_SMC.ps
[ARReTeSi97] Recalde, L, Teruel E, Silva M.  1998.  Modeling and Analysis of Sequential Processes that Cooperate through Buffers. IEEE Trans on Robotics and Automation. 14:267-277.
[ARReTeSi98] Recalde, L, Teruel E, Silva M.  1998.  On Linear Algebraic Techniques for Liveness Analysis of PT Systems. Journal of Circuits Systems and Computers. 8:223-265.
0 icon
98_RTS_JCSC.pdf
[ARTeSi96] Teruel, E, Silva M.  1996.  Structure Theory of Equal Conflict Systems. Theoretical Computer Science. 153:271-300.
[ARReTeSi01] Recalde, L, Teruel E, Silva M.  2001.  Structure Theory of Multi Level Deterministically Synchronized Sequential Processes. Theoretical Computer Science. 254:1-33.
0 icon
01_RTS_TCS.ps
[03_TFP_IToSE] Teruel, E, Franceschinis G, Pierro M.  2003.  Well-defined generalized stochastic petri nets: a net-level method to specify priorities. Software Engineering, IEEE Transactions on. 29:962-973.
0 icon
03_TFP_IToSE.pdf