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

ergonomics

書(shū)目名稱Net Theory and Applications影響因子(影響力)




書(shū)目名稱Net Theory and Applications影響因子(影響力)學(xué)科排名




書(shū)目名稱Net Theory and Applications網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱Net Theory and Applications網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱Net Theory and Applications被引頻次




書(shū)目名稱Net Theory and Applications被引頻次學(xué)科排名




書(shū)目名稱Net Theory and Applications年度引用




書(shū)目名稱Net Theory and Applications年度引用學(xué)科排名




書(shū)目名稱Net Theory and Applications讀者反饋




書(shū)目名稱Net Theory and Applications讀者反饋學(xué)科排名

背景

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.

駕駛

褻瀆

收養(yǎng)

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