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: Nov 18, 2013
- | Number of Pages: 209 pages
- | Binding: Hardback or Cased Book
- | ISBN-10: 3642411142
- | ISBN-13: 9783642411144