Challenges in Application of Petri Nets in Manufacturing Systems

Grobelna, Iwona; Karatkevich, Andrei

doi:10.3390/electronics10182305

Cited by 30 publications

(11 citation statements)

References 147 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…where K = 1, 2, …, n, M k pertains to the Kth state matrix with m × 1 columns, a ij is the transition matrix of the system, and u k indicates the Kth trigger matrix. (3,17) For the Petri net shown in Fig. 8(a), the corresponding system matrix is as follows.…”

Section: ) Matrix Equationmentioning

confidence: 99%

“…(14) Petri nets are regarded as a useful process definition tool in manufacturing process automation, traffic management, process control, and education. (5,(15)(16)(17)(18)(19) Researchers used Petri nets to propose a flight control process model, message sequence charts, a performance analysis model, (18) a web service process, and pre-authentication in web service composition. (10,20) Timed Petri nets (TPNs) and fuzzy Petri nets are applied to a knowledge structure model for students' personalized optimal learning paths.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Basis for Deep Learning Model of Discrete Event System for Information Technology Course Design

Fu¹,

Xie²,

Tu³

2022

Sensors and Materials

View full text Add to dashboard Cite

The development of technologies is changing the traditional concept of teaching and learning in classrooms. In particular, information technology (IT) courses are rapidly adopting such changes as IT education's purpose is to cultivate students' capability to develop technologies by experiencing them in classrooms. In IT courses, deep learning has been used to improve teaching and learning ability through the use of sensing technology and related hardware/ software. In teaching and learning, asynchronous, concurrent, and stochastic events occur because teachers and students have their protocols and behaviors in the related activities. Therefore, the design and teaching of courses should be based on a discrete event system that deals with discrete events. On the basis of this concept, we propose a deep learning model with the Petri net method to establish a logical modular system for IT course design and teaching. Because Petri nets are useful in simulation and analysis for the system modeling of asynchronous, concurrent, and stochastic events, we investigate how to use a Petri net to establish a deep learning model to develop and evaluate the curriculum of IT courses. The results of this study will contribute to building an efficient IT learning system that comprises sensing technology, information transmission, information processing, and feedback, which will require collaboration with pedagogical experts in the future.

show abstract

Section: ) Matrix Equationmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Basis for Deep Learning Model of Discrete Event System for Information Technology Course Design

Fu¹,

Xie²,

Tu³

2022

Sensors and Materials

View full text Add to dashboard Cite

show abstract

“…The current challenges regarding Petri nets education are identified in (Grobelna and Karatkevich, 2021), where additionally, also the summary of trends in industrial electronic education and remote laboratories, as well as some approaches to teaching Petri nets are provided. Unfortunately, there are just a few papers focusing on teaching Petri nets in detail.…”

Section: Learning Petri Netsmentioning

confidence: 99%

“…The recent challenges in teaching Petri nets (Grobelna and Karatkevich, 2021) clearly indicate the conditions of remote education and the problem of how to fit interdisciplinary aspects into the limited duration of a course. Having in mind these challenges, we propose to enrich the course at the university with game-based learning.…”

Section: Learning Petri Netsmentioning

confidence: 99%

“…Petri nets are a general mathematical formalism for representation of discrete-event systems (Silva, 2013). They are widely used for specification of control (Giua and Silva, 2018) and manufacturing systems (Grobelna and Karatkevich, 2021), mainly because of the rich support by various analysis and verification methods (Karatkevich, 2007;Giua and Silva, 2017). Their graphical representation is also quite simplebasic elements include places (drawn as circles), transitions (drawn as bars), arcs (connecting places and transitions, or vice-versa, with each other) and tokens (drawn as dots inside places).…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Help students learn interpreted Petri nets with Minecraft

Grobelna¹,

Mazurkiewicz²,

Janus³

2022

Informatics in Education

Self Cite

View full text Add to dashboard Cite

Background: Petri nets are a formal specification technique for modelling of control processes and modern flexible manufacturing systems. Interpreted Petri nets take into account input and output signals, allowing to apply them in any control system or even in control part of a cyber-physical system. Due to the fact that Petri nets are not used in the industrial practice, the students sometimes lack motivation to learn them. Contributions: In the paper we propose how to help students learn interpreted Petri nets with Minecraft (as a game-based learning). We show how interpreted Petri nets can be modelled in Minecraft and how they communicate with the surrounding environment via input and output signals to visualize control processes. The proposed approach has been validated experimentally among university students. Hypotheses: (1) Creating interpreted Petri net models with Minecraft helps to understand the basic principles; (2) Minecraft makes the course more attractive. Methodology: Students were divided into an experimental group (with game-based learning) and a control group (with traditional learning). The experimental group filled in a knowledge test twice (on the entry and on the exit) and a questionnaire. The control group filled in the same knowledge test at the end of the course. Findings: The observations confirm that the Minecraft-based teaching of interpreted Petri nets allows to gain better results in final tests, making at the same time the course more attractive and enjoyable.

show abstract