Modelling Manufacturing Systems and Inventory Control Systems with Hybrid Petri Nets

2014 ◽  
pp. 75-103
Author(s):  
Maria Cabasino ◽  
Alessandro Giua ◽  
Carla Seatzu
Keyword(s):  
Petri Nets ◽  
Control Systems ◽  
Inventory Control ◽  
Manufacturing Systems ◽  
Hybrid Petri Nets

scholarly journals Challenges in Application of Petri Nets in Manufacturing Systems

Electronics ◽  
2021 ◽  
Vol 10 (18) ◽  
pp. 2305
Author(s):  
Iwona Grobelna ◽  
Andrei Karatkevich
Keyword(s):  
Petri Nets ◽  
Control Systems ◽  
Manufacturing Systems ◽  
State Of The Art ◽  
Deadlock Prevention ◽  
Current State ◽  
Verification Methods ◽  
Challenges And Opportunities ◽  
University Level ◽  
Made In

Petri nets are a useful mathematical formalism for specification of manufacturing systems, supported by various analysis and verification methods. The progress made in automating control systems and the widespread use of Industry 4.0 pose a number of challenges to their application, starting from the education at university level and ending with modelling of real case studies. The paper aims to present and analyse the most relevant challenges and opportunities related to the use of Petri nets as a modelling technique of manufacturing systems. The review of the literature is primarily based on the years 2019–2020 to reflect the current state of the art. The newest approaches to deadlock prevention and recovering, but also other important analysis problems and difficulties in modelling real industrial processes are discussed. Trends for the future are also identified.

Sign in / Sign up

Export Citation Format

Share Document