Book ChapterDOI
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets
Hartmann J. Genrich,Kurt Lautenbach +1 more
- pp 123-147
Reads0
Chats0
TLDR
Within the framework of net-semantics of models of dynamic systems, a new standard interpretation of nets are introduced called predicate/transition-nets (Pr/T-nets), which are schemes of ‘ordinary’ Petri nets.Abstract:
Within the framework of net-semantics of models of dynamic systems, the present paper introduces a new standard interpretation of nets called predicate/transition-nets (Pr/T-nets). These nets are schemes of ‘ordinary’ Petri nets. The places (circles) of Pr/T-nets represent changing properties of, or relations between, individuals; they are ‘predicates’ with variable extension. A current case of a system modelled by a Pr/T-net is denoted by marking the places with those tuples of individual symbols for which the respective predicates hold in that case. The transitions (boxes) are schemes of elementary changes of markings constituting the processes carried by the system. Instances of these schemes are generated by means of consistent substitution of individual variables by symbols.read more
Citations
More filters
Journal ArticleDOI
Petri nets: Properties, analysis and applications
TL;DR: The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
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 Article
Petri Net Representations in Metabolic Pathways
TL;DR: The theory of Petri nets is introduced as a tool for computer-implementable representation of pathways to overcome the present limitations and enable the preliminary qualitative analysis of pathways.
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.
Book ChapterDOI
Elements of General Net Theory
TL;DR: Some of the main features of a theory of systems in which the concept of concurrency plays a central role are presented.
References
More filters
Book
Topics in algebra
TL;DR: In this paper, the authors propose preliminary notions of group theory and group theory for group spaces and modules, including linear transformations and vector spaces. But they do not discuss group theory.
Journal ArticleDOI
Consistency and correctness of duplicate database systems
TL;DR: The paper is primarily concerned with general properties of the problem, convenient representational techniques, and formal proof procedures which are general enough to apply to this and to a number of other problems in parallel processing and synchronization.
Book ChapterDOI
The calculus of facts
TL;DR: This paper introduces a net theoretic version of the first-order predicate calculus, and shows how ‘static’ logic can be correctly applied even in those practically important dynamic contexts where certain sentences change their truthvalues in a not fully specified order.