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