In this paper, a new kind of behaviour-preserving transition insertions in Petri nets is proposed, and a method for computing the useful and valid transition insertions using a complete unfolding prefix of the Petri net is developed. Moreover, as several transformations often have to be applied one after the other, the developed theory allows one to avoid (expensive) re-unfolding after each tra...

In this paper we describe a multirelational approach for performing linear algebraic manipulations of (coloured) Petri nets. In particular , we show how orthogonal transformations can be used in order to describe the net folding and unfolding operations.

A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes and the unfolding of Petri nets with multiple tokens are indicated.

The multi-gear coastal vessels in the Algarve (South Portugal) own licenses for various fishing gears. However, it is generally uncertain what gears they use, which problematic as each individual gear responsible unique impacts on resources and environment. In this study, landing profiles identified fleet (2012–2016) were used support defining potential métiers using k-mean clustering analysis ...

LiDAR depth-only completion is a challenging task to estimate dense depth maps only from sparse measurement points obtained by LiDAR. Even though the methods have been widely developed, there still significant performance gap with RGB-guided that utilize extra color images. We find existing can obtain satisfactory results in areas where are almost accurate and evenly distributed (denoted as nor...