A remark on operational formula
S. K. Chatterjea (1969)
Matematički Vesnik
Similarity:
Displaying similar documents to “Fairness for synchronous fork-join nets”
A remark on operational formula
Calculi of net structures and sets are similar
Ludwik Czaja (2008)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et 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 allowed...
Petri Nets on the Semantic Web - Guidelines and Infrastructure
Dragan Gašević (2004)
Computer Science and Information Systems
Similarity:
The Continuity Of One Class Of Operational Functions
D. Nikolić-Despotović (1970)
Publications de l'Institut Mathématique
Similarity:
A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements
Tomáš Havránek (1974)
Kybernetika
Similarity:
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...
Modelling integer linear programs with Petri nets
P. Richard (2000)
RAIRO - Operations Research - Recherche Opérationnelle
Similarity:
Generalized operational functions
S. Jeyamma (1969)
Studia Mathematica
Similarity:
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...