Petri Nets Colored: مدل سازی و اعتبارسنجی سیستم های همزمان
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
نویسنده: Kurt Jensen, Lars M. Kristensen
ناشر: Springer
سال انتشار: 2009
تعداد صفحات: 382
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت