The problem of extending to graph grammars the unfolding semantics originally developed by Winskel for (safe) Petri nets has been faced several times along the years, both for the single-pushout and double-pushout approaches, but only partial results were obtained. In this paper we fully extend Winskel’s approach to single-pushout grammars providing them with a categorical concurrent semantics ...

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.

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...

a non-profit institution devoted to research on network industries, electronic commerce, telecommunications, the Internet, " virtual networks " comprised of computers that share the same technical standard or operating system, and on network issues in general. I n c o l la b o r a t ion w i t h Introduction C h a p t e r 1 : A s u m m a r y o f f i n d in g s 4 C h a p t e r 2 : Evolution of in...