PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research

Vörös, András; Darvas, Dániel; Molnár, Vince; Klenik, Attila; Hajdu, Ákos; Jámbor, Attila; Bartha, Tamás; Majzik, István

doi:10.1007/978-3-319-39086-4_9

Cited by 5 publications

(9 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The architecture of the tool is designed to keep the development of plug-ins simple, in order to help the users to focus on functionality instead of technology. For more details the reader is referred to our previous paper [1].…”

Section: Framework Features For Developersmentioning

confidence: 99%

“…In this paper we focus on the industrial applications of PetriDotNet. Information about the different educational uses of PetriDotNet can be found in [1]. Each use case is described briefly, and the reader is referred to the related publications for more information.…”

Section: Industrial Case Studiesmentioning

confidence: 99%

“…• The initial probability distribution vector of the system is π 0 ∈ [0, 1] n , such that ∑ n−1 x=0 π 0 [x] = 1. By convention, boldface vector symbols refer to row vectors unless explicitly noted.…”

Section: Stochastic Petri Netsmentioning

confidence: 99%

“…This article is an extended version of our previous conference paper [1]. The major novel contributions are the extensive description and discussion of analysis algorithms included in PetriDotNet (in Section 3), the detailed description of industrial cases where PetriDotNet was proven to be applicable and useful (Section 4) and the related work on the industrial usage of Petri nets (Section 5).…”

Section: Introductionmentioning

confidence: 99%

“…Besides simulation and simple structural and dynamic analysis methods, the work of the last ten years resulted in many powerful analysis features. In our previous paper [1], we have focused on the educational use of PetriDotNet. Here we demonstrate that Petri nets and PetriDotNet can aid the design and development of industrial systems with its modelling and analysis features.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Industrial applications of the PetriDotNet modelling and analysis tool

Vörös

Darvas

Hajdu

et al. 2018

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

Since their invention, Petri nets have provided modelling and analysis methods to support the design of correct, reliable and robust systems. This motivated our work to develop PetriDotNet, a Petri net editor and analysis tool. In this paper we overview the supported modelling formalisms and the analysis methods included in PetriDotNet. Next, we present eight different industrial case studies, demonstrating the wide variety of scenarios where Petri nets and PetriDotNet can help the design, development and analysis of industrial systems. Our original goal with PetriDotNet was to provide an educational tool to our students, however our efforts led to a framework being able to serve both academic and industrial needs.

show abstract

Section: Framework Features For Developersmentioning

confidence: 99%

Section: Industrial Case Studiesmentioning

confidence: 99%

Section: Stochastic Petri Netsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Industrial applications of the PetriDotNet modelling and analysis tool

Vörös

Darvas

Hajdu

et al. 2018

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

show abstract

GreatTeach: A Tool for Teaching (Stochastic) Petri Nets

Amparore

Donatelli

2018

Application and Theory of Petri Nets and Concurrency

View full text Add to dashboard Cite

GreatSPN is a collection of tools for modelling and analysis of systems using (stochastic) Petri nets. It features a modern Java-based graphical interface. But being technologically advanced does not mean that the tool learning curve is significantly simplified. In the tool the simple features that are needed for educational purpose are intermixed with more advanced features that require a deeper understanding of the formalisms and of the solvers. This paper presents GreatTeach, a streamlined and enriched version of GreatSPN meant for teaching resulting from our experience in teaching Petri nets to master students.

show abstract

Information Technology Support of Education of Students With Autism: Aspects of Virtual Assistant Modeling

Andrunyk¹,

Shestakevych²

2021

Vìsn. Nac. unìv. "Lʹvìv. polìteh.", Ser. Ìnf. sist. merežì

View full text Add to dashboard Cite

People with autism find that interacting with a computer or tablet is less stressful and more attractive than interacting with people. The analysis of information technologies developed both abroad and in Ukraine reveals the lack of systematic support for the education processes of people with autism. In this context, the development of personalized information technology support for the learning processes of such students is an urgent scientific and practical task. To achieve this goal it is necessary to explore the theoretical and methodological foundations of teaching people with autism and state the role of IT support of such education. Experts agree that the main areas of development of information technology to support the training of students with autism are the improvement of communication skills, improvement of social communication, and academic training. The method of personalization of virtual content of information technologies developed or adjusted to support education of students with autism should take into account the results psychological diagnostics of a student, his/her educational abilities and needs, and also such method might involve the participation of paraprofessionals and parents of a student. When developing such a method, it should be taken into account that some students might use non-verbal communication only, and an algorithm for evaluating the emotions of a student with autism should be developed. The most promising technologies which can be with an appropriate level of ease be adapted into the education of students with autism are augmented and virtual reality technologies. According to the developed method of personalization of virtual content of information technologies, different modeling and visualization software should be used.

show abstract

PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research

Cited by 5 publications

References 19 publications

Industrial applications of the PetriDotNet modelling and analysis tool

Industrial applications of the PetriDotNet modelling and analysis tool

GreatTeach: A Tool for Teaching (Stochastic) Petri Nets

Information Technology Support of Education of Students With Autism: Aspects of Virtual Assistant Modeling

Contact Info

Product

Resources

About