Results 151 to 160 of about 462,160 (174)

Parameterized reachability trees for algebraic Petri nets

1995
Parameterized reachability trees have been proposed by M. Lindquist for predicate/transition nets. We discuss the application of this concept to algebraic nets. For this purpose a modification of several definitions is necessary due to the different net descriptions, transition rules and theoretical backgrounds.
openaire   +1 more source

On Semantics of Petri Nets Over Partial Algebra

1999
In the paper we study "first consume then produce" and "first produce then consume" causality of transition firings in Petri nets over partial algebra. We show that both causalities may be described by simple algebraic operations on transition systems, namely the compatible and linear operation.
openaire   +2 more sources

On the Computation of Place Invariants for Algebraic Petri Nets

1995
The paper is concerned with the computation of a generator set for the space of all place invariants for a given algebraic net. We will show that the problem can be divided into two major steps. First we trace back the problem to a set of equations between terms.
openaire   +1 more source

Reasoning about Algebraic Generalisation of Petri Nets

1999
In this paper we study properties of and (as we hope) a uniform frame for Petri net models, which enables us to generalise algebra as well as enabling rule of Petri nets. Our approach of such a frame is based on using partial groupoids in Petri nets.
openaire   +1 more source

An axiomatic characterization of algebras of processes of Petri nets

Fundam. Informaticae, 2006
Summary: The paper is concerned with algebras which can be obtained by endowing sets of processes of Petri nets with a sequential and a parallel composition. The considered algebras are categories with additional structures and special properties. It is shown that all structures which enjoy such properties can be represented as algebras of processes of
openaire   +2 more sources

Algebraic properties of automata associated to Petri nets and applications to computation in biological systems

BioSystems, 2008
Attila Egri-Nagy, Chrystopher L Nehaniv
exaly  

An algebraic characterization of language-based opacity in labeled Petri nets

IFAC-PapersOnLine, 2018
Francesco Basile, Gianmaria De Tommasi
exaly  

A Concept of an Algebraic Generalisation of Petri Nets

IFAC Postprint Volumes IPPV / International Federation of Automatic Control, 1997
Gabriel Juhas
exaly  

Linear-algebraic representation of generalised fuzzy Petri nets

2013
Zbigniew Suraj
exaly  

DISTRIBUTED SIMULATION OF HIGH-LEVEL ALGEBRAIC PETRI NETS WITH LIMITED CAPACITY PLACES

International Journal of Parallel, Emergent and Distributed Systems, 2001
Karim Djemame
exaly