TY  - BOOK
AU  - Brauer,Wilfried
ED  - SpringerLink (Online service)
TI  - Net Theory and Applications: Proceedings of the Advanced Course on General Net Theory of Processes and Systems Hamburg, October 8–19, 1979 
T2  - Lecture Notes in Computer Science,
SN  - 9783540393221
AV  - QA76.758 
U1  - 005.1 23
PY  - 1980///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Computer Science
KW  - Software Engineering
N1  - 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
UR  - http://dx.doi.org/10.1007/3-540-100016
ER  -