Coloured Petri Nets: Modelling and Validation of Concurrent Systems

خرید و دانلود نسخه کامل کتاب Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Petri Nets Colored: مدل سازی و اعتبارسنجی سیستم های همزمان

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

نویسنده: Kurt Jensen, Lars M. Kristensen

ناشر: Springer

سال انتشار: 2009

تعداد صفحات: 382

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 4 مگابایت

92,000 تومان 56,000 تومان