Results 1 
4 of
4
Algebraic System Nets for Modelling Distributed Algorithms
 Petri Net Newsletter
, 1996
"... this paper. Multisetsignatures andalgebras In an algebraic system net a token on a place is an element of a domain of some algebra. Then, the multitude of tokens on a particular place can be represented as a multiset. In order to talk about the multitude of tokens one a place within the algebraic ..."
Abstract

Cited by 12 (6 self)
 Add to MetaCart
this paper. Multisetsignatures andalgebras In an algebraic system net a token on a place is an element of a domain of some algebra. Then, the multitude of tokens on a particular place can be represented as a multiset. In order to talk about the multitude of tokens one a place within the algebraical framework, we include the multiset over the corresponding sort in the algebra. To this end, we introduce multisetsignatures as particular signatures. For a signature
On the Compositionality and Analysis of Algebraic HighLevel Nets
 Research Report A16, Digital Systems Laboratory
, 1991
"... : This work discusses three aspects of net theory: compositionality of nets, analysis of nets and highlevel nets. Net theory has often been criticised for the difficulty of giving a compositional semantics to a net. In this work we discuss this problem form a category theoretic point of view. In ca ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
: This work discusses three aspects of net theory: compositionality of nets, analysis of nets and highlevel nets. Net theory has often been criticised for the difficulty of giving a compositional semantics to a net. In this work we discuss this problem form a category theoretic point of view. In category theory compositionality is represented by colimits. We show how a highlevel net can be mapped into a lowlevel net that represents its behaviour. This construction is functorial and preserves colimits, giving a compositional semantics for these highlevel nets. Using this semantics we propose some proof rules for compositional reasoning with highlevel nets. Linear logic is a recently discovered logic that has many interesting properties. From a net theoretic point of view its interest lies in the fact that it is able to express resources in an analogous manner to nets. Several interpretations of Petri nets in terms of linear logic exist. In this work we study a model theoretic inter...
Petri nets and components  extending the DAWN approach
, 2001
"... The flexibility of Petri nets that allows us the combination of components without restriction to a single general composition operator is an important advantage of Petri nets compared to other formalisms. This flexibility supports many di#erent types of component interaction, reflecting various ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
The flexibility of Petri nets that allows us the combination of components without restriction to a single general composition operator is an important advantage of Petri nets compared to other formalisms. This flexibility supports many di#erent types of component interaction, reflecting various communication paradigms. We suggest not to define the types of component interaction by adding new constructs to the language but by restricting the legal combinations between components. In this approach, general Petri net analysis techniques can still be applied to the overall model. For each component interaction type, the respective restriction is formulated in a syntactical manner, thus providing suitable communication patterns.
Semantic Integration of Heterogeneous Formal Specifications via Transformation Systems
, 2001
"... Among the approaches to rational software systems development the viewpoint model has become predominant. That means, models of different views or aspects of a system on different levels of abstraction are built and maintained to document the design decisions passed during all development stages. Th ..."
Abstract
 Add to MetaCart
Among the approaches to rational software systems development the viewpoint model has become predominant. That means, models of different views or aspects of a system on different levels of abstraction are built and maintained to document the design decisions passed during all development stages. The construction of such models should be supported by adequate modelling languages or specification formalisms that allow the representation of the concerned structures, functionality, and properties directly. In order to conceive all these models as a specification of a sole system a semantic integration is required that supports the statement of correspondences of elements of di erent models and the consistency checking of groups of models. The main problem in this task is the heterogeneity of the modelling paradigms and, correspondingly, of the specification languages. The approach to the integration of heterogeneous formal specifications presented in this report is based on a formal reference model that serves as common semantic domain for the different languages. In this it way supports the comparison of models independently of the chosen languages. In the reference model formal models of dynamic entities of arbitrary granularity are defined via their static structure and their dynamic behaviour. Then development relations and composition operations are introduced and general compositionality properties are shown. In particular, structural transparency is supported, i.e., structured systems of entities can always be considered as single dynamic entities in turn. Furthermore it is shown that compatible local development steps of the same type always induce a global development step of this type containing the local ones. The applicability of the reference model is shown by the int...