Limit search to available items
Record 30 of 35
Previous Record Next Record
Book Cover
E-book

Title Net theory and applications : proceedings of the Advance Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 / edited by Wilfried Brauer
Published Berlin ; New York : Springer-Verlag, 1980

Copies

Description 1 online resource (xiii, 537 pages) : illustrations
Series Lecture notes in computer science ; 84
Lecture notes in computer science ; 84.
Contents 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
Bibliography Includes bibliographical references and index
Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
Print version record
Subject Machine theory -- Congresses
Nets (Mathematics) -- Congresses
Petri nets -- Congresses
Nets (Mathematics) -- Congresses
Machine theory
Nets (Mathematics)
Petri nets
Genre/Form Conference papers and proceedings
Form Electronic book
Author Brauer, Wilfried.
ISBN 9783540393221
3540393226