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

Breach

弓箭

Concurrency,ay an important role in applications. Concurrency structures which define uniquely an occurrence net or an condition-event-system are called "ropes". The properties of binary relations producing ropes are considered to be — all or in part — candidates for axioms of "coexistence", with concurrency as one special instance.

Conflict

Adequacy of path programs,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 on adequacy which have been obtained so far is also given. Even so, this is intended to serve as an introductory text.

Exclaim

Nets in modeling and simulation,ther capabilities that are attuned to the application — a higher level modeling language..This paper summarizes experience gained in the search for a suitably expressive graph modeling language, and presents a definition of a useful modeling method that has evolved and is adaptable to hierarchical views of large systems.

Mumble

嚴(yán)峻考驗(yàn)

厚顏

https://doi.org/10.1007/3-540-100016Applications; Brauer; algebra; modeling; performance; simulation

Synchronism

The relative strength of K-density,K-density is a property of occurrence nets which can be thought of as mathematical models of processes. We study K-density both formally, as compared with other axioms, and informally, as interpreted and compared with the properties of continuity and computability. We show that, in a certain sense, K-density is an axiom of discreteness.

阻塞

collagenase

,The application of general net theory — A personal history,The author describes his personal experience applying net-based descriptive techniques to the design of computer hardware/software systems. A hypothetical Automated Design Tool is described.