Overview
Introduces algorithms that allow the analysis of time-dependent Petri netsAssumes an undergraduate level of mathematical logicBased on an established graduate-level course taught in Germany and France, text is supported with exercises and examples in all chapters
- | Author: Louchka Popova-Zeugmann
- | Publisher: Springer
- | Publication Date: Aug 23, 2016
- | Number of Pages: 209 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3662514354
- | ISBN-13: 9783662514351