Results 1  10
of
7,390
Siphons and Traps of Algebraic Petri Nets
 In preparation
, 1996
"... We overview recent results concerning the symbolic verification and calculation of siphons and traps for algebraic Petri nets and their relation to the net behavior. ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
We overview recent results concerning the symbolic verification and calculation of siphons and traps for algebraic Petri nets and their relation to the net behavior.
SLAPN: A Tool for Slicing Algebraic Petri Nets
"... Abstract. Algebraic Petri nets is a well suited formalism to represent the behavior of concurrent and distributed systems by handling complex data. For the analysis of systems modelled in Algebraic Petri nets, model checking and testing are used commonly. Petri nets slicing is getting an attention r ..."
Abstract
 Add to MetaCart
Abstract. Algebraic Petri nets is a well suited formalism to represent the behavior of concurrent and distributed systems by handling complex data. For the analysis of systems modelled in Algebraic Petri nets, model checking and testing are used commonly. Petri nets slicing is getting an attention
Connector Algebras, Petri Nets, and BIP ⋆
"... Abstract. In the area of componentbased software architectures, the term connector has been coined to denote an entity (e.g. the communication network, middleware or infrastructure) that regulate the interaction of independent components. Hence, a rigorous mathematical foundation for connectors is ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
their similarities, differences, mutual embedding and possible enhancements. First, we show that Sobocinski’s nets with boundaries are as expressive as Sifakis et al.’s BI(P), the BIP component framework without priorities. Second, we provide a basic algebra of connectors for BI(P) by exploiting Montanari et al.’s
Optimizing Algebraic Petri Net Model Checking by Slicing
"... Abstract. Highlevel Petri nets make models more concise and readable as compared to lowlevel Petri nets. However, usual verification techniques such as state space analysis remain an open challenge for both because of state space explosion. The contribution of this paper is to propose an approach ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
for property based reduction of the state space of Algebraic Petri nets (a variant of highlevel Petri nets). To achieve the objective, we propose a slicing algorithm for Algebraic Petri nets (APNSlicing). The proposed algorithm can alleviate state space even for certain strongly connected nets
Tinvariants of algebraic Petri nets
 Informatik Bericht
, 1994
"... A detailed observation of the structure of T–invariants leads to the definition of a subset of invariants, which generates the whole set of invariants by linear combination and instantiation and the elements of which have a simple structure by means of computation. Then an algorithmically insoluble ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
A detailed observation of the structure of T–invariants leads to the definition of a subset of invariants, which generates the whole set of invariants by linear combination and instantiation and the elements of which have a simple structure by means of computation. Then an algorithmically insoluble problem concerning T–invariants is presented to justify the non–termination of the algorithm which computes this subset of invariants. The algorithm consists mainly of a clever application of term unification.
Applying Reduction Rules To Algebraic Petri Nets
 TKK MONOISTAMO; OTANIEMI 1997, ISSN 0783 5396, ISBN
, 1997
"... We study the specific problems concerning the application of reduction rules to algebraic Petri nets. In particular we express the application conditions for the rules by means of term operations and discuss the validity of reduction rules in different interpretations of an algebraic net. Thereby th ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
We study the specific problems concerning the application of reduction rules to algebraic Petri nets. In particular we express the application conditions for the rules by means of term operations and discuss the validity of reduction rules in different interpretations of an algebraic net. Thereby
An Evolutive Distributed Algebraic Petri Nets Simulator
, 1996
"... This paper presents a new prototyping methodology for large concurrent systems modelled by the means of hierarchical algebraic Petri nets. First, the source specifications are automatically translated into a mainstream objectoriented language, thus providing a portable and highlevel initial implem ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
This paper presents a new prototyping methodology for large concurrent systems modelled by the means of hierarchical algebraic Petri nets. First, the source specifications are automatically translated into a mainstream objectoriented language, thus providing a portable and highlevel initial
How to calculate symbolically siphons and traps for some algebraic Petri nets
 IN PREPARATION
, 1996
"... We present a symbolic approach to the calculation of siphons and traps for algebraic Petri nets where the color domains are specified without equations and with at most unary operation symbols. ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
We present a symbolic approach to the calculation of siphons and traps for algebraic Petri nets where the color domains are specified without equations and with at most unary operation symbols.
The Box Algebra = Petri Nets + Process Expressions
, 1999
"... The paper describes a Petri net as well as a structural operational semantics for an algebra of process expressions. It specifically addresses this problem for the box algebra, a model of concurrent computation which combines Petri nets and standard process algebras. The main result is that it is po ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
The paper describes a Petri net as well as a structural operational semantics for an algebra of process expressions. It specifically addresses this problem for the box algebra, a model of concurrent computation which combines Petri nets and standard process algebras. The main result
Transformation Systems Semantics and Compositionality of Algebraic Petri Nets
, 2002
"... In the rst part of the paper, placetransition nets and algebraic highlevel nets are translated into algebra transformation systems, thus de ning the net semantics. Both sequential and concurrent nets are considered. Some results concerning the relation between the net semantics resulting from a r ..."
Abstract
 Add to MetaCart
In the rst part of the paper, placetransition nets and algebraic highlevel nets are translated into algebra transformation systems, thus de ning the net semantics. Both sequential and concurrent nets are considered. Some results concerning the relation between the net semantics resulting from a
Results 1  10
of
7,390