Concurrency and nets: advances in Petri nets

Front Cover
Springer-Verlag, 1987 - Computers - 622 pages
"Concurrency and Nets" is a special volume in the series "Advances in Petri Nets." Prepared as a tribute to Carl Adam Petri on the occasion of his 60th birthday, it is devoted to an outstanding personality and his pioneering and fruitful scientific work. Part I (70 pages of over 600) presents the congratulatory addresses and invited talks that were given at an Anniversary Colloquium. The contributions of this part honor Carl Adam Petri and his work from many different perspectives. Part II is a collection of invited papers discussing various aspects of the theme Concurrency and Nets. These papers are contributed partly by researchers that were or are still associated with the Petri Institute at GMD and partly by researchers whose scientific work deals with Net Theory or related system models. The topics range from basic theoretical aspects to application oriented methods.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

III MODELS AND SYSTEM SPECIFICATION
34
EXAMPLE OF APPLICATIONS
43
SUPPORT TOOLS
58
Copyright

18 other sections not shown

Other editions - View all

Common terms and phrases

About the author (1987)

Junghei Chen received his Ph.D. in Chemistry from NYU, under the supervision of Ned Seeman. He has since worked at Berkeley and is now Associate Professor in the Department of Chemistry and Biochemistry at the University of Delaware. He has edited a Springer book: LNCS 2943, Int. Workshop on DNA Based Computers, DNA 9 (2003). He has authored dozens of papers in key journals areas of chemistry, biochemistry, physics, computing and nanoscience

Natascha Jonoska received her Ph.D. in Mathematical Science from SUNY Binghamton and is currently Associate Professor in the Mathematics Dept. at the University of South Florida. She has coedited a number of Springer books: LNCS 2723, Genetic and Evolutionary Computation Conf., GECCO 2003; LNCS 2950, Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday (2004). Natasha has also contributed chapters in various Natural Computing books, and many journal and LNCS articles. Her journal publications cover her interests in both theoretical computer science and natural computing.

Grzegorz Rozenberg is the editor of the Springer Natural Computing series; is one of the series editors of the Springer EATCS Texts in Theoretical Computer Science series; was until this year the editor of the Springer journal Natural Computing; is the editor of the Elsevier Theoretical Computer Science journal Track C (Natural Computing). He has also edited or authored dozens of Springer books over the last 30 years. He has authored hundreds of publications in theoretical computer science and natural computing, and has been involved in the organization of dozens of conferences in both communities. He has authored and editeddozens of LNCS volumes and monographs, across a range of theoretical computer science fields and also in the area of natural computing. He has also recently edited some relevant Natural Computing series and EATCS series books, such as: Modelling in Molecular Biology (2004); Computation in Living Cells (2004); DNA Computing -- New Computing Paradigms (Reprint 2005). He also coedited LNCS 2950, Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday (2004).

Bibliographic information