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

ergonomics

书目名称Net Theory and Applications影响因子(影响力)




书目名称Net Theory and Applications影响因子(影响力)学科排名




书目名称Net Theory and Applications网络公开度




书目名称Net Theory and Applications网络公开度学科排名




书目名称Net Theory and Applications被引频次




书目名称Net Theory and Applications被引频次学科排名




书目名称Net Theory and Applications年度引用




书目名称Net Theory and Applications年度引用学科排名




书目名称Net Theory and Applications读者反馈




书目名称Net Theory and Applications读者反馈学科排名

背景

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.

驾驶

亵渎

收养

Adequacy of path programs,re adequate if there is no partial deadlock. Finally, two results are presented concerning adequacy. The first result solves the adequacy problem for a certain subclass of programs, and the second result characterises the problem in terms of PT-nets for another subclass. An overview of the results o

使成核

Nostalgia

Nets in modeling and simulation,when one wishes to express the complexities of actual computing systems, and deal with performance questions typically asked about them, one needs further capabilities that are attuned to the application — a higher level modeling language..This paper summarizes experience gained in the search for a

整体

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.

nauseate

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.

阻挡

,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 l