
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
Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.