Wolfgang Reisig - Böcker

The emerging, multi-disciplinary field of systems biology is devoted to the study of the relationships between various parts of a biological system, and computer modeling plays a vital role in the drive to understand the processes of life from an ...

Läs mer »

The emerging, multi-disciplinary field of systems biology is devoted to the study of the relationships between various parts of a biological system, and computer modeling plays a vital role in the drive to understand the processes of life from an ...

Läs mer »

The emerging, multi-disciplinary field of systems biology is devoted to the study of the relationships between various parts of a biological system, and computer modeling plays a vital role in the drive to understand the processes of life from an ...

Läs mer »

This book fills a serious gap by providing a conceptual framework for understanding the digital world. This world contains large, heterogeneous systems that have to manage dynamic behavior as well as static items and data. Obviously, new, digital ...

Läs mer »

This book offers an overview of the key ideas of Petri nets, how they were developed, and how they were applied in diverse applications. The chapters in the first part offer individual perspectives on the impact of Petris work. The second part of ...

Läs mer »

This volume documents the progress of application and theory of Petri Nets since the Advanced Course on General Net Theory of Processes and Systems, held in Hamburg, October 8-19, 1979, This course presen ted in detail wha t had been achieved in t...

Läs mer »

1 d Petrinetze sind fr den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch fhrt in di...

Läs mer »

Petri Nets represent a long and sustained effort to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in many areas of computer science including software engineering, data base and in formatio...

Läs mer »

The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a v...

Läs mer »

This volume, "Petri Net Technology for Communication-Based Systems," is a state-of-the-artreportin the seriesAdvances in Petri Nets. It showshowvarious well-established and new Petri net notions and techniques can be used for m- elingcom...

Läs mer »

This volume contains the proceedings of the 25th International Conference on Application and Theory of Petri Nets (ICATPN 2004). The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Pet...

Läs mer »

The very ?rst model of concurrent and distributed systems was introduced by C.A. Petri in his seminal Ph.D. thesis in 1964. Petri nets has remained a central model for concurrentsystemsfor40 years,andthey areoften usedasa yardstick for other model...

Läs mer »

Die Informatik ist eine junge Wissenschaft, die sich durch einen rasanten technischen Fortschritt auszeichnet. Dadurch wird hufig bersehen, dass aktuelle Themen eine teilweise lange Entwicklungsgeschichte durchlaufen haben. Informatikprofessoren d...

Läs mer »

This book constitutes the refereed proceedings of the 17th International Conference on Application and Theory of Petri Nets, held in Osaka, Japan, in June 1996. The 26 revised full papers included in the book together with three invited presentati...

Läs mer »

Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems whic...

Läs mer »

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the ...

Läs mer »

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the ...

Läs mer »

Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems whic...

Läs mer »

Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a broad spectrum of subjects, including decision p- cedures, the...

Läs mer »

With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software des...

Läs mer »

Net theory is a theory of systems organization which had its origins, about 20 years ago, in the dissertation of C. A. Petri [1]. Since this seminal paper, nets have been applied in various areas, at the same time being modified and theoretically ...

Läs mer »

Petri nets provide a formal framework for system modeling and validation which has proven to be very reliable in practice. This book presents variousnet models appropriate for designing specific systems, where systems are understood very generally...

Läs mer »

"Systementwurf mit Netzen" lautet der Titel dieses Buches. Was ist darun- ter zu verstehen? Genauer: was ist bier mit Systemen, was mit Netzen gemeint? Beginnen wir mit den Systemen: sie sind in diesem Buch sehr aIlgemein aufgefaBt als &...

Läs mer »

With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software des...

Läs mer »

Petrinetze haben sich als Modellierungstechnik fr informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermaen ...

Läs mer »

Petrinetze haben sich als Modellierungstechnik fr informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermaen ...

Läs mer »