Formal methods for the specification and verification of hardware and software systems are
becoming more and more important as systems increase in size and complexity. The aim of …

Abstract The model of Elementary Object System is introduced and motivated by several
examples and applications. Object systems support a modeling of systems by Petri nets …

The behavior of many technical systems that are increasingly important in our every-day life
can be described by discrete states and state-changing events. Discrete event systems …

Controle e automação é uma das raras áreas do conhecimento que, simultaneamente,
apresenta grandes desafios tanto teóricos, quanto práticos. Nas últimas décadas, essa área …

A generic well-defined methodology for the construction and operation of dynamic process
models of discrete industrial systems following a number of well-defined steps is introduced …

Smart factories manage digital twins (DTs) to evaluate the performance of various what-if
production scenarios. This article presents a DT consistency-checking approach to maintain …

An Automated Storage and Retrieval System (AS/RS) automatically stores incoming material
and retrieves stored parts with no direct human handling. This paper proposes a modular …

There exists ample literature on Petri nets and its potential in the modelling, analysis,
synthesis and implementation of systems in the manufacturing applications domain (see for …

A distinguishing feature of a flexible manufacturing system (FMS) is the ability to perform
multiple tasks in one machine or workstation (alternative machining) and the ability to …

Automated guided vehicle systems (AGVS) are material-handling devices representing an
efficient and flexible option for products management in automated manufacturing systems …