Titlebook: Net Theory and Applications; Proceedings of the A Wilfried Brauer Conference proceedings 1980 Springer-Verlag Berlin Heidelberg 1980 Applic

exostosis

collateral

978-3-540-10001-0Springer-Verlag Berlin Heidelberg 1980

性別

Net Theory and Applications978-3-540-39322-1Series ISSN 0302-9743 Series E-ISSN 1611-3349

AMEND

指數(shù)

Formal properties of place/transition nets,g graphs, provide insight into the computational complexity of several decision procedures, show the initimate relation of reachability sets to Presburger formulas, and deal with state-machine composition and the deadlock-trap property.

Coronation

Abstractions of net models,ing, and analyzing large systems. This paper presents a mechanizable approach to such abstraction, for a limited class of net models. The work is based on Pro-Nets, an application-oriented outgrowth of place/transition nets.

復(fù)習(xí)

Applications of net-based models,en adopted for specific applications. The topics include models of a parallel algorithm for lexical analysis, net augmentation to detect and correct errors, an approach to error correction in distributed systems with no central control, and modeling aids to design of properly functioning systems.

chastise

,Petri-nets from the engineer’s viewpoint lecture I,e-concept of the Automata-Theory. Some special symbols are suggested. Side-conditions and side effects are well appropriate for the simulation of hardware systems, for instance for the problems of Switching Algebra..In lecture II some applications for kinematical processes and for the control of a lift-car are explained.

ligature

Obvious

E. Best appropriate for use in a special topics course or for independent study. Readers interested in pursuing an extended background study of relation algebras will find a comprehensive treatment in author Steven Givant’s textbook, .Introduction to Relation Algebras. (Springer, 2017)..978-3-319-88468-4978-3-319-67696-8