Petri nets are a useful mathematical formalism for specification of manufacturing systems,
supported by various analysis and verification methods. The progress made in automating …

Petri net is a mathematical modeling language used to describe a system graphically. It is a
strong language that can be used to represent parallel or concurrent activities in a system …

A model of an information system describes its processes and how these processes
manipulate data objects. Object-aware extensions of Petri nets focus on modeling the life …

In a parallel computing scenario, the synchronization overhead, needed to coordinate the
execution on the parallel computing nodes, can significantly impair the overall execution …

The paper deals with the verification and analysis techniques offered by the Hippo-CPS
system. The presented tool offers alternate examination methods of the Petri net-based …

The energy power supply infrastructure of a hospital, to function correctly, needs to be well
maintained to ensure its reliability and, by consequence, the maximum integrated …

Many applications in fields like sociology, biology and urban computing, need to cope with
an explicit use of a spatial environment, or territory. Such applications, referred to as space …

During the previous years, we presented several results concerned with various issues
related to the correctness of models for business processes and services (ie …

In this paper, we propose an integrated approach for seamlessly and effectively providing
the mining and the analyzing functionalities to redesigning work for very large-scale and …

Automated manufacturing systems have been studied widely in terms of scheduling. As
technology evolves, the behaviour of tools in automated manufacturing systems has become …