Abstract
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.
Highlights
Nets in Manufacturing Systems.Petri nets are a well-established mathematical representation of a discrete event system inspired by a PhD thesis of Carl Adam Petri from 1962 [1]
Petri nets (PNs) allow for a simple representation of the discrete event systems [3], and they are widely used in control [4] and manufacturing systems [5]
Dynamic adaptive fuzzy reasoning PNs (DAFRPN) for modelling of energy saving operations in manufacturing systems are in turn proposed in [54]
Summary
As a general-purpose mathematical tool used in discrete event systems of different kinds, cover a well-established knowledge base arising from various application areas Their simplicity of use and formal notation allow their application to various formal analysis or verification methods, as well as their automatic translation into models that. The challenges, revealed in the most recent literature on the application of PNs in manufacturing systems, have been divided into main four groups: education in respect of application of PN models, deadlock prevention and recovery, other analysis problems, and difficulties in modelling of real industrial processes. Showing the recent works using Petri nets in the domain of manufacturing systems; identifying the current challenges; indicating the future trends in research.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
