کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
5003189 | 1368468 | 2006 | 6 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
System petri net specification
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
سایر رشته های مهندسی
مکانیک محاسباتی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
The high-level synthesis of digital systems, including controllers, DPSs, peripheral components, integrated microsystems, requires intermediate model representation of system specification. A few approaches have been proposed to use Petri nets as an intermediate system representation. The paper discusses essential Petri net properties and concentrates on requirements of the system representation. A new system Petri net text format is presented and it has been developed to support fully wide range of system specifications.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: IFAC Proceedings Volumes - Volume 39, Issue 21, February 2006, Pages 214-219
Journal: IFAC Proceedings Volumes - Volume 39, Issue 21, February 2006, Pages 214-219
نویسندگان
Andrzej Stasiak, Marian Adamski,