In this article we improve the butterfly and Loop's algorithm. As a result we obtain subdivision algorithms for triangular nets which can be used to generate G1- and G2surfac...
In this paper, we show how to obtain causal semantics distinguishing ”earlier than” and ”not later than” causality between events from algebraic semantics of Petri nets. J...
We present an experiment in extracting collocations from the FrameNet corpus, specifically, support verbs such as direct in Environmentalists directed strong criticism at world le...
Petri Nets and higher order versions like Predicate Transition Nets (Pr/T-Nets) are very suitable for modeling event-oriented discrete and even parallel systems. Obviously, the ne...
: This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first ...