Net theory and applications : proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979

書誌事項

Net theory and applications : proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979

edited by Wilfried Brauer

(Lecture notes in computer science, 84)

Springer-Verlag, 1980

  • : gw
  • : us

大学図書館所蔵 件 / 44

この図書・雑誌をさがす

注記

Includes bibliographies and index

内容説明・目次

目次

to general net theory.- Elements of general net theory.- Formal properties of place/transition nets.- Linear algebra in net theory.- Atomicity of activities.- Concurrency.- The relative strength of K-density.- Reductions of nets and parallel programs.- Adequacy of path programs.- Performance evaluation of systems using nets.- Survey of French research and applications based on Petri nets.- Nets in modeling and simulation.- Abstractions of net models.- Applications of net-based models.- The application of general net theory - A personal history.- Petri-nets from the engineer's viewpoint lecture I.- Nets as a tool in teaching and in terminology work.- Structured representation of knowledge by Petri nets as an aid for teaching and research.- A dictionary of some basic notions of net theory.- Addresses of all authors.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ