Industrial applications of the PetriDotNet modelling and analysis tool

Vörös, András; Darvas, Dániel; Hajdu, Ákos; Klenik, Attila; Marussy, Kristóf; Molnár, Vince; Bartha, Tamás; Majzik, István

doi:10.1016/j.scico.2017.09.003

Cited by 5 publications

(5 citation statements)

References 67 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These tools are used mainly for checking some basic properties of the Petri nets, like boundedness, safeness or deadlock freedom. There are also some software tools dedicated for education, like P3-PN (Gašević and Devedžić, 2004), PetriDotNet (Vörös et al, 2018), GreatTeach (Amparore and Donatelli, 2018) or PN2ARDUINO (Kučera et al, 2019). These tools have been proposed especially for improving the learning process of students.…”

Section: Learning Petri Netsmentioning

confidence: 99%

Help students learn interpreted Petri nets with Minecraft

Grobelna¹,

Mazurkiewicz²,

Janus³

2022

Informatics in Education

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

Section: Learning Petri Netsmentioning

confidence: 99%

Help students learn interpreted Petri nets with Minecraft

Grobelna¹,

Mazurkiewicz²,

Janus³

2022

Informatics in Education

View full text Add to dashboard Cite

show abstract

“…It has been successfully used at the Budapest University of Technology and Economics. Although initially dedicated to students, it has been proven to be able to serve both academic and industrial needs [82]. Proposed in [83] is a more recent tool, called GreatTeach, for teaching PNs (in particular, stochastic PNs), resulting from teaching master students at the University of Torino.…”

Section: Challenges Regarding Education In Respect Of Application Of ...mentioning

confidence: 99%

“…Learning PNs in a more obvious and quicker way in order to use them for hardware modelling. [80] 2011 Simple tool intended to teach the beginners [81,82] 2016, 2018…”

Section: Remote Laboratoriesmentioning

confidence: 99%

Challenges in Application of Petri Nets in Manufacturing Systems

Grobelna

Karatkevich

2021

Electronics

View full text Add to dashboard Cite

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.

show abstract

“…One of the popular graphical tools used for formal description of a system is Petri Net (PN) [19,20]. This tool in its various shapes and types and can be used to study distributed environments in which dynamics are specified by synchronization, concurrency and mutual exclusion and conflicts [21,22].…”

Section: The Proposed Modelmentioning

confidence: 99%

Task Allocation Approach for Minimizing Make-Span in Wireless Sensor Actor Networks

Okhovvat¹,

Kheirabadi²,

Nodehi³

et al. 2021

Computer Systems Science and Engineering

View full text Add to dashboard Cite

Wireless Sensor Actor Networks (WSANs) have contributed to the development of pervasive computing wherein time consideration to perform the tasks of pervasive applications is necessary. Hence, time constraint is one of the major challenges of WSANs. In this paper, we propose an analytical approach based on queuing theory to minimize the total time taken for completion of tasks, i.e., make-span, in WSANs with hybrid architecture. The best allocation rates of tasks to actor nodes are figured out through solving inequities and qualities resulting from a steady state analysis of the proposed model. Applying the calculated tasks arrival rates at each of the actors, the make-span could be minimized. To assess the accuracy of the tasks assignment rates to each of the actors attained from the suggested analytical approach and to provide a graphical representation of the WSAN a formal model in terms of the generalized stochastic Petri net (GSPN) is presented. The proposed GSPN model is analyzed, tasks distribution weights to the actors are determined, and then tasks allocation rates can be computed. Comparing the results achieved from the analytical approach and the GSPN model demonstrates that allocation rates and hence, the make-span figured out from proposed approach and the formal model are the same. Experimental results in typical scenarios show shorter make-span and longer network lifetime compared to when one of the two popular traditional task allocation algorithms, namely, opportunistic load balancing (OLB), and stochastic allocation (SA) algorithms, is used.

show abstract

Industrial applications of the PetriDotNet modelling and analysis tool

Cited by 5 publications

References 67 publications

Help students learn interpreted Petri nets with Minecraft

Help students learn interpreted Petri nets with Minecraft

Challenges in Application of Petri Nets in Manufacturing Systems

Task Allocation Approach for Minimizing Make-Span in Wireless Sensor Actor Networks

Contact Info

Product

Resources

About