Net Theory and Applications [electronic resource] : Proceedings of the Advanced Course on General Net Theory of Processes and Systems Hamburg, October 8–19, 1979 /
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.
Main Authors: | , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1980
|
Subjects: | Computer science., Software engineering., Computer Science., Software Engineering., Computer Science, general., |
Online Access: | http://dx.doi.org/10.1007/3-540-100016 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|