Abstract Coloured Petri Nets (CPNs) is a language for the modelling and validation of
systems in which concurrency, communication, and synchronisation play a major role …

Design of modern digital hardware systems and of complex software systems is almost
always connected with parallelism. For example, execution of an object-oriented p-gram can …

In this paper, we study selected aspects of determinism in the control part of a cyber-physical
system (CPS) that is specified by a Petri net-based model. In particular, the control …

Embedded logic controllers specification is the first step in development process. Possible
errors in this phase [1] may influence oncoming phases or even the whole venture. Usually …

This book is an attempt to overcome the gap between science and practice in the field of
concurrent control systems specified by Petri nets. It combines theoretical aspects of …

Abstract Machine to Machine (M2M) communication and Internet of Things (IoT) are
becoming still more pervasive with the increase of communicating devices used in cyber …

In the paper there is described a process of modeling the discrete control system for a
chemical reactor. In the design of the control algorithm there was used Finite State Machine …

Machine to Machine (M2M) communication and Internet of Things (IoT) are becoming still
more pervasive with the increase of communicating devices used in cyber-physical …

Context. Clinical pathway support system can ease the clinician burden by prompting
appropriate actions at different stages of a patient consultation. However, while the attitudes …

The paper presents formal verification method of logic controller specification taking into
account user-specified properties. Logic controller specification may be expressed as Petri …