Happy Holidays—Our $30 Gift Card just for you, and books ship free! Shop now>>

Texts in Theoretical Computer Science. An EATCS Series

Petri Net Synthesis

Authors: Badouel, Eric, Bernardinello, Luca, Darondeau, Philippe

Free Preview
  • 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 
see more benefits

Buy this book

eBook 50,28 €
price for Spain (gross)
  • ISBN 978-3-662-47967-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 62,39 €
price for Spain (gross)
  • ISBN 978-3-662-47966-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 62,39 €
price for Spain (gross)
  • ISBN 978-3-662-51621-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this Textbook

This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algorithms, and applications. The authors focus on safe Petri nets and place/transition nets (P/T-nets), treating synthesis as an automated process which, given behavioural specifications or partial specifications of a system to be realized, decides whether the specifications are feasible, and then produces a Petri net realizing them exactly, or if this is not possible produces a Petri net realizing an optimal approximation of the specifications.

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 in Part 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.

About the authors

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.

 

Reviews

“By reading, studying and perhaps using the book Petri net synthesis as a textbook for a course, one takes an interesting and adventurous journey in the field of relating behavioural and structural descriptions of concurrent systems. Petri net synthesis is the best candidate to be a reference book in this field, and reading it is a great pleasure. … book is organized in such a way that it can be used as a textbook for several master courses … .” (Giovanni Michele Pinna, Mathematical Reviews, January, 2017)

“This book provides an impressive in-depth account of a wide range of the results and techniques for Petri net synthesis. It covers both theory and algorithms and provides a good insight into applications. It is valuable for novices as well as for researchers as a rich and reliable reference as well as a source of relevant research problems.” (Jörg Desel, zbMATH 1351.68003, 2017)


Table of contents (14 chapters)

Table of contents (14 chapters)

Buy this book

eBook 50,28 €
price for Spain (gross)
  • ISBN 978-3-662-47967-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 62,39 €
price for Spain (gross)
  • ISBN 978-3-662-47966-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 62,39 €
price for Spain (gross)
  • ISBN 978-3-662-51621-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Petri Net Synthesis
Authors
Series Title
Texts in Theoretical Computer Science. An EATCS Series
Copyright
2015
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-662-47967-4
DOI
10.1007/978-3-662-47967-4
Hardcover ISBN
978-3-662-47966-7
Softcover ISBN
978-3-662-51621-8
Series ISSN
1862-4499
Edition Number
1
Number of Pages
XIII, 339
Number of Illustrations
139 b/w illustrations, 1 illustrations in colour
Topics