63,25 €*
-1 % UVP 64,19 €
Versandkostenfrei per Post / DHL
Lieferzeit 2-4 Werktage
In Part I the authors introduce elementary net synthesis. In Part II they explain variations of elementary net synthesis and the unified theory of net synthesis. The first three chapters of Part III address the linear algebraic structure of regions, synthesis of P/T-nets from finite initialized transition systems, and the synthesis of unbounded P/T-nets. Finally, the last chapter inPart III and the chapters in Part IV cover more advanced topics and applications: P/T-net with the step firing rule, extracting concurrency from transition systems, process discovery, supervisory control, and the design of speed-independent circuits.
Most chapters conclude with exercises, and the book is a valuable reference for both graduate students of computer science and electrical engineering and researchers and engineers in this domain.
In Part I the authors introduce elementary net synthesis. In Part II they explain variations of elementary net synthesis and the unified theory of net synthesis. The first three chapters of Part III address the linear algebraic structure of regions, synthesis of P/T-nets from finite initialized transition systems, and the synthesis of unbounded P/T-nets. Finally, the last chapter inPart III and the chapters in Part IV cover more advanced topics and applications: P/T-net with the step firing rule, extracting concurrency from transition systems, process discovery, supervisory control, and the design of speed-independent circuits.
Most chapters conclude with exercises, and the book is a valuable reference for both graduate students of computer science and electrical engineering and researchers and engineers in this domain.
Dr. Eric Badouel is a researcher at IRISA/INRIA Rennes-Bretagne Atlantique in Rennes. His research interests include concurrency and Petri nets.
Dr. Luca Bernardinello is a researcher in the Dipartimento di Informatica, Sistemistica e Comunicazione of the Università degli studi di Milano-Bicocca. His research interests include concurrency and Petri nets.
Dr. Philippe Darondeau was a researcher at IRISA/INRIA Rennes-Bretagne Atlantique in Rennes. His research interests included concurrency and Petri nets. Dr. Darondeau passed away in 2013, during the final writing of the book.
Authors among key contributors to this research area
Extensively covers theory and algorithms, and provides good insight into applications
Rich, reliable source of problems for graduate students and experienced researchers
Erscheinungsjahr: | 2016 |
---|---|
Genre: | Informatik, Mathematik, Medizin, Naturwissenschaften, Technik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
Inhalt: |
xiii
339 S. 139 s/w Illustr. 1 farbige Illustr. 339 p. 140 illus. 1 illus. in color. |
ISBN-13: | 9783662516218 |
ISBN-10: | 3662516217 |
Sprache: | Englisch |
Einband: | Kartoniert / Broschiert |
Autor: |
Badouel, Eric
Darondeau, Philippe Bernardinello, Luca |
Auflage: | Softcover reprint of the original 1st edition 2015 |
Hersteller: |
Springer Berlin
Springer Berlin Heidelberg |
Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
Maße: | 235 x 155 x 20 mm |
Von/Mit: | Eric Badouel (u. a.) |
Erscheinungsdatum: | 23.08.2016 |
Gewicht: | 0,54 kg |
Dr. Eric Badouel is a researcher at IRISA/INRIA Rennes-Bretagne Atlantique in Rennes. His research interests include concurrency and Petri nets.
Dr. Luca Bernardinello is a researcher in the Dipartimento di Informatica, Sistemistica e Comunicazione of the Università degli studi di Milano-Bicocca. His research interests include concurrency and Petri nets.
Dr. Philippe Darondeau was a researcher at IRISA/INRIA Rennes-Bretagne Atlantique in Rennes. His research interests included concurrency and Petri nets. Dr. Darondeau passed away in 2013, during the final writing of the book.
Authors among key contributors to this research area
Extensively covers theory and algorithms, and provides good insight into applications
Rich, reliable source of problems for graduate students and experienced researchers
Erscheinungsjahr: | 2016 |
---|---|
Genre: | Informatik, Mathematik, Medizin, Naturwissenschaften, Technik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
Inhalt: |
xiii
339 S. 139 s/w Illustr. 1 farbige Illustr. 339 p. 140 illus. 1 illus. in color. |
ISBN-13: | 9783662516218 |
ISBN-10: | 3662516217 |
Sprache: | Englisch |
Einband: | Kartoniert / Broschiert |
Autor: |
Badouel, Eric
Darondeau, Philippe Bernardinello, Luca |
Auflage: | Softcover reprint of the original 1st edition 2015 |
Hersteller: |
Springer Berlin
Springer Berlin Heidelberg |
Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
Maße: | 235 x 155 x 20 mm |
Von/Mit: | Eric Badouel (u. a.) |
Erscheinungsdatum: | 23.08.2016 |
Gewicht: | 0,54 kg |