H. Ehrig and W. Reisig, Integration of Algebraic Specifications and Petri Nets, Bulletin EATCS, Formal Specification Column (1996), no. 61, 52--58. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Introduction to Universal Parameterized Net Classes - Ehrig, Padberg (1997) Self-citation (Ehrig) (Correct)
....The marking is given by some element m 2 P and the operations for the computation of the firing behaviour are comparison, subtraction and addition based on linear sums, defined over the monoid operation. This algebraic presentation [MM90] is equivalent to the classical presentation (see e.g. [Rei85, ER96]) but has the advantage of a clear and axiomatic presentation, thus it is much simpler to generalize. 2.3 Algebraic Presentation of Elementary Nets In the case of elementary nets 1 the algebraic presentation is given by the power set construction P(P ) that is pre; post : T P(P ) because ....
....the composition is dependent from the behaviour of the net. In the case of high level nets our basic variant means in addition that a net includes one explicit model with total operations (resp. predicates) and that there are no firing conditions for the transitions (unguarded case) In our paper [ER96] we discuss several kinds of variants of algebraic high level nets, which can also be extended to variants of other types of high level nets considered in this paper. 2.5 Mathematical Notation of Parameters for Net Classes In the following we distinguish between formal and actual parameters for ....
H. Ehrig and W. Reisig, Integration of Algebraic Specifications and Petri Nets, Bulletin EATCS, Formal Specification Column (1996), no. 61, 52--58.
A Uniform Approach to Petri Nets - Ehrig, Padberg (1997) (7 citations) Self-citation (Ehrig) (Correct)
....The marking is given by some element m 2 P and the operations for the computation of the firing behaviour are comparison, subtraction and addition based on linear sums, defined over the monoid operation. This algebraic presentation [MM90] is equivalent to the classical presentation (see e.g. [Rei85, ER96]) but has the advantage of a clear and axiomatic presentation, thus it is much simpler to generalize. 2.3 Algebraic Presentation of Elementary Nets In the case of elementary nets 1 the algebraic presentation is given by the power set construction P(P ) that is pre; post : T P(P ) because ....
....the composition is dependent from the behaviour of the net. In the case of highlevel nets our basic variant means in addition that a net includes one explicit model with total operations (resp. predicates) and that there are no firing conditions for the transitions (unguarded case) In our paper [ER96] we discuss several kinds of variants of algebraic high level nets, which can also be extended to variants of other types of high level nets considered in this paper. 1 We talk about elementary nets as elementary (net) systems without an initial marking. 2.5 Mathematical Notation of Parameters ....
H. Ehrig and W. Reisig, Integration of Algebraic Specifications and Petri Nets, Bulletin EATCS, Formal Specification Column (1996), no. 61, 52--58.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC