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…

This international replication study demonstrates how playing a video game is related to multiple dimensions of creativity in foreign language writing. In this research project, university students were asked to interact with a commercial murder mystery video game, "Her Story," and produce a piece of creative writing, which was a…

This paper presents an innovative educational approach to organizing the out-of-school teaching of programming in middle childhood. The proposed DGBL model includes three distinct educational phases, i.e. learning visual programming, programming and robotics, and programming and electronics. The research was carried out during the school years of…