Time and Petri Nets (Paperback)
Introduces algorithms that allow the analysis of time-dependent Petri nets
Assumes an undergraduate level of mathematical logic
Based on an established graduate-level course taught in Germany and France, text is supported with exercises and examples in all chapters