Book ChapterDOI
OBJSA Nets: a class of high-level nets having objects as domains
E. Battiston,F. De Cindio,Giancarlo Mauri +2 more
- pp 20-43
Reads0
Chats0
TLDR
In this paper, the authors present a formal specification language which supports both aspects of system modelling, namely data structure and control structure modelling, with suitable abstraction notions, combining nets with algebraic specification techniques.Abstract:
To define classes of high level nets having structured (individual) tokens is a very fundamental goal for making nets actually usable in real concurrent system modelling. A promising approach is that of combining nets with algebraic specification techniques. This results in a formal specification language which supports both aspects of system modelling, namely data structure and control structure modelling, with suitable abstraction notions.read more
Citations
More filters
Journal ArticleDOI
Petri nets and algebraic specifications
TL;DR: This work derives corresponding formalisms for nets with structured tokens, based on term substitution, for conventional Petri nets based on place- and transition-invariants and algebraic specifications.
Journal ArticleDOI
Critical review of existing BPR methodologies
George Valiris,Michalis Glykas +1 more
TL;DR: An overview of existing work in the area of BPR is presented with the aim of highlighting the different categories of B PR methodologies identified in the literature, their focus on the redesign process and the general BPR principles that emerge from them.
Book ChapterDOI
A survey of basic net models and modular net classes
TL;DR: The paper surveys those net classes which can be called to some extent ‘modular’ and the basic net models used as framework in their definition.
Journal ArticleDOI
Algebraic high-level net transformation systems
TL;DR: A local Church-Rosser and Parallelism Theorem is obtained and it is able to show that AHL-net-transformation systems satisfy several important compatibility properties, which means compatibility of vertical and horizontal structuring in terms of software development.
Book ChapterDOI
Rewriting Logic as a Unifying Framework for Petri Nets
TL;DR: A rewriting semantics is defined that maps place/transition nets into rewriting logic specifications and is connected to the model-theoretic semantics of rewriting logic in the sense of natural isomorphisms between suitable functors.
References
More filters
Journal ArticleDOI
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
Book
Fundamentals of Algebraic Specification 1
Hartmut Ehrig,Bernd Mahr +1 more
TL;DR: In this paper, it was shown that the initial homomorphism from the initial algebra to the algebras of the specification is not intended to be the "abstraction function", nor its counter part, the "representation function".
Journal ArticleDOI
System modelling with high-level Petri nets
TL;DR: A linear-algebraic techniques for verifying invariant assertions are used, yielding a calculus of S-invariants for PrT-nets, and these modelling and analysis techniques are applied to a scheme for organizing a distributed data base taken from literature.
Journal ArticleDOI
Coloured petri nets and the invariant-method
TL;DR: It is shown how Petri nets can be generalized to allow processes to be described by a common subnet, without losing the ability to distinguish between them.
Proceedings ArticleDOI
Principles of OBJ2
TL;DR: Four clsssrs of design principles for 01352 ate discussed briefly in this inttoduct, and then in mote detail brlnw: motlulntizntion and patnmcteriantion; (2) subsorts; (3) implcmcntnt; and (4) inlrtaction and flexibility.