Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to Petri nets: applications and relationships to other models of concurrency.   

Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986 ...

Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg - Computers - 2006 - 481 pages
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 ...
Limited preview - About this book

Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg

Wilfried Brauer - Computers - 2002 - 429 pages
Many objects are beautiful; and many creations are functional. But only few achieve enduring status. The 'Design Classics' series presents such select products that have set ...
Limited preview - About this book

Foundations of Computer Science: Potential-Theory-Cognition, Volume 133

Wilfried Brauer, C. Freksa, Matthias Jantzen, Rüdiger Valk - Computers - 1997 - 514 pages
Content Description #Dedicated to Wilfried Brauer.#Includes bibliographical references and index.
Limited preview - About this book

KI-95: Advances in Artificial Intelligence: 19th Annual German ..., Volume 19

Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer - Computers - 1995 - 268 pages
This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995. The volume opens with full ...
Limited preview - About this book

Wissensbasierte Systeme: 3. Internationaler GI-Kongreß München, 16.–17 ...

Wilfried Brauer, Christian Freksa - Computers - 2013 - 544 pages
Durch die Reihe der GI-Kongresse über wissensbasierte Systeme wird eine größere Öffentlichkeit über den Stand der Entwicklung sowohl in den Entwurfsmethoden und ...
Limited preview - About this book

Logic and Algebra of Specification

Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg - Computers - 2012 - 442 pages
For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic. These new developments ...
Limited preview - About this book

  1. My library
  2. Help
  3. Advanced Book Search