Net Theory and Applications
Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979
Published on 1. June 1980
Book
Paperback/Softback
XVI, 540 pages
978-3-540-10001-0 (ISBN)
Description
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.
More details
Series
Edition
1980 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XVI, 540 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 30 mm
Weight
832 gr
ISBN-13
978-3-540-10001-0 (9783540100010)
DOI
10.1007/3-540-100016
Schweitzer Classification
Content
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.