The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Feasible Dynamic Reconfigurations of Petri Nets
|
|
Author(s): Jia Feng Zhang (Xidian University, China), Olfa Mosbahi (University of Carthage, Tunisia), Mohamed Khalgui (University of Carthage, Tunisia & National Council of Research, Italy)and Atef Gharbi (University of Carthage, Tunisia)
Copyright: 2013
Pages: 21
Source title:
Formal Methods in Manufacturing Systems: Recent Advances
Source Author(s)/Editor(s): Zhiwu Li (Xidian University, People’s Republic of China)and Abdulrahman M. Al-Ahmari (King Saud University, Saudi Arabia)
DOI: 10.4018/978-1-4666-4034-4.ch010
Purchase
|
Abstract
Reconfigurable systems have received much attention from academia and industry because they are efficient, agile, and reasonably priced, and they are the trend of all future systems. The chapter focuses on dynamic automatic reconfigurations of Control Systems to be classically modeled by Petri nets. Several modeling and verification methods for such systems are shown and compared before the introduction of the research work on feasible dynamic reconfigurations and the implementation of manufacturing systems based on Petri nets. Three different reconfiguration scenarios can be applied at run-time to such systems: Addition/Removal of places, Addition/Removal/Update of transitions, or finally, the simple modification of the initial marking. Three formal modules are defined accordingly, which allow the reconfigurations of the system’s Petri nets model: the first module to dynamically change places of the model, the second to dynamically reconfigure transitions within a given subset of places, and the third to modify the initial markings of places. To check the correct behavior of this architecture according to user requirements, the model checker SESA is applied for the verification of CTL-based properties of the proposed modules and also of the system. The contribution is applied to a real-world Benchmark Production System.
Related Content
|
Tanima Sahoo, Arijit Mondal, Piyal Roy, Amitava Podder.
© 2024.
20 pages.
|
|
Hüseyin Fatih Çetinkaya, Ali Fazıl Yenidünya, Serap Çetinkaya, Burak Tüzün.
© 2024.
15 pages.
|
|
Digvijay Pandey, Vinay Kumar Nassa, Binay Kumar Pandey, Blessy Thankachan, Pankaj Dadheech, Darshan A Mahajan, A. Shaji George.
© 2024.
22 pages.
|
|
Loutfy H. Madkour.
© 2024.
38 pages.
|
|
Loutfy H. Madkour.
© 2024.
50 pages.
|
|
Rita Komalasari.
© 2024.
25 pages.
|
|
Aakifa Shahul, Balakumar Muniandi, Mukundan Appadurai Paramashivan, Digvijay Pandey, Binay Kumar Pandey, Pankaj Dadheech, Hovan George.
© 2024.
14 pages.
|
|
|