In: Proc. Int. Workshop on Quality of Communication Based Systems, pages 1-18. 1995.
Abstract: A new kind of semantics for algebraic high-level nets that especially reflects the datatype part is proposed in this paper. Abstract datatype semantics are developed in the same way as as the semantics of abstract datatypes. Thus it is possible to give the notions correctness and model semantics. Nevertheless it is compatible to the usual case graph semantics known from Petri net in general. The abstract datatype semantics makes use of a recently introduced extension of algebraic specifications: dynamic abstract data types. Algebraic high-level nets are interpreted in this framework, where the underlying datatype remains unchanged and the net and the net behaviour are tranferred into algebras that represnet states.
Keywords: Abstract Data Types; Semantic; Algebraic Nets; High-Level Nets.