Net Theory and Applications Proceedings of the Advanced Course on General Net Theory of Processes and Systems Hamburg, October 8–19, 1979 / [electronic resource] :
edited by Wilfried Brauer.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 1980.
- XVI, 540 p. online resource.
- Lecture Notes in Computer Science, 84 0302-9743 ; .
- Lecture Notes in Computer Science, 84 .
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.
9783540393221
10.1007/3-540-100016 doi
Computer science.
Software engineering.
Computer Science.
Software Engineering.
QA76.758
005.1
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.
9783540393221
10.1007/3-540-100016 doi
Computer science.
Software engineering.
Computer Science.
Software Engineering.
QA76.758
005.1