caa a22 4500 445822732 CHVBK 20180317145249.0 cr unu---uuuuu 170323e20111201xx s 000 0 eng 10.1007/s10626-011-0116-9 doi (NATIONALLICENCE)springer-10.1007/s10626-011-0116-9 On fluidization of discrete event models: observation and control of continuous Petri nets [Elektronische Daten] [Manuel Silva, Jorge Júlvez, Cristian Mahulea, C. Vázquez] As a preliminary overview, this work provides first a broad tutorial on the fluidization of discrete event dynamic models, an efficient technique for dealing with the classical state explosion problem. Even if named as continuous or fluid, the relaxed models obtained are frequently hybrid in a technical sense. Thus, there is plenty of room for using discrete, hybrid and continuous model techniques for logical verification, performance evaluation and control studies. Moreover, the possibilities for transferring concepts and techniques from one modeling paradigm to others are very significant, so there is much space for synergy. As a central modeling paradigm for parallel and synchronized discrete event systems, Petri nets (PNs) are then considered in much more detail. In this sense, this paper is somewhat complementary to David and Alla (2010). Our presentation of fluid views or approximations of PNs has sometimes a flavor of a survey, but also introduces some new ideas or techniques. Among the aspects that distinguish the adopted approach are: the focus on the relationships between discrete and continuous PN models, both for untimed, i.e., fully non-deterministic abstractions, and timed versions; the use of structure theory of (discrete) PNs, algebraic and graph based concepts and results; and the bridge to Automatic Control Theory. After discussing observability and controllability issues, the most technical part in this work, the paper concludes with some remarks and possible directions for future research. Springer Science+Business Media, LLC, 2011 Discrete event systems nationallicence Petri nets nationallicence Fluidization nationallicence Untimed and timed models nationallicence System theory nationallicence Piecewise affine systems nationallicence Silva Manuel Aragón Institute of Engineering Research (I3A), University of Zaragoza, Maria de Luna 1, 50018, Zaragoza, Spain aut Júlvez Jorge Aragón Institute of Engineering Research (I3A), University of Zaragoza, Maria de Luna 1, 50018, Zaragoza, Spain aut Mahulea Cristian Aragón Institute of Engineering Research (I3A), University of Zaragoza, Maria de Luna 1, 50018, Zaragoza, Spain aut Vázquez C. Aragón Institute of Engineering Research (I3A), University of Zaragoza, Maria de Luna 1, 50018, Zaragoza, Spain aut Discrete Event Dynamic Systems Springer US; http://www.springer-ny.com 21/4(2011-12-01), 427-497 0924-6703 21:4<427 2011 21 10626 https://doi.org/10.1007/s10626-011-0116-9 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10626-011-0116-9 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Silva Manuel Aragón Institute of Engineering Research (I3A), University of Zaragoza, Maria de Luna 1, 50018, Zaragoza, Spain aut NATIONALLICENCE 700 1- Júlvez Jorge Aragón Institute of Engineering Research (I3A), University of Zaragoza, Maria de Luna 1, 50018, Zaragoza, Spain aut NATIONALLICENCE 700 1- Mahulea Cristian Aragón Institute of Engineering Research (I3A), University of Zaragoza, Maria de Luna 1, 50018, Zaragoza, Spain aut NATIONALLICENCE 700 1- Vázquez C. Aragón Institute of Engineering Research (I3A), University of Zaragoza, Maria de Luna 1, 50018, Zaragoza, Spain aut NATIONALLICENCE 773 0- Discrete Event Dynamic Systems Springer US; http://www.springer-ny.com 21/4(2011-12-01), 427-497 0924-6703 21:4<427 2011 21 10626 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer