Displaying similar documents to “Calculi of net structures and sets are similar”

Calculi of net structures and sets are similar

Ludwik Czaja (2007)

RAIRO - Theoretical Informatics and Applications

Similarity:

Three basic operations on labelled net structures are proposed: synchronised union, synchronised intersection and synchronised difference. The first of them is a version of known parallel composition with synchronised actions identically labelled. The operations work analogously to the ordinary union, intersection and difference on sets. It is shown that the universe of net structures with these operations is a distributive lattice and – if infinite pre/post sets of transitions are...

Compositions, Generated by Special Nets in Affinely Connected Spaces

Zlatanov, Georgi (2002)

Serdica Mathematical Journal

Similarity:

Special nets which characterize Cartesian, geodesic, Chebyshevian, geodesic- Chebyshevian and Chebyshevian-geodesic compositions are introduced. Con- ditions for the coefficients of the connectedness in the parameters of these special nets are found.

Detection of deadlocks and traps in Petri nets by means of Thelen's prime implicant method

Agnieszka Węgrzyn, Andrei Karatkevich, Jacek Bieganowski (2004)

International Journal of Applied Mathematics and Computer Science

Similarity:

A new method of detecting deadlocks and traps in Petri nets is presented. Deadlocks and traps in Petri nets can be represented by the roots of special equations in CNF form. Such equations can be solved by using the search tree algorithm proposed by Thelen. In order to decrease the tree size and to accelerate the computations, some heuristics for Thelen's method are presented.

An analytical method for well-formed workflow/Petri net verification of classical soundness

Julio Clempner (2014)

International Journal of Applied Mathematics and Computer Science

Similarity:

In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are a formal model of business processes. Well-formed business processes correspond to sound workflow nets. Even if it seems necessary to require the soundness of workflow nets, there exist business processes with conditional behavior that will not necessarily satisfy the soundness property. In this sense, we propose an analytical...