کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
486112 | 703347 | 2015 | 5 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Formal Transformation Inhibitory Safe Petri Nets into Equivalent not Inhibitory
ترجمه فارسی عنوان
شبکه های پتری سیگنال ممنوعه رسمی تبدیل به معادل غیر قابل انعطاف
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
علوم کامپیوتر (عمومی)
چکیده انگلیسی
The article shows the equivalence of inhibitory and non-inhibitory safe Petri nets by converting with the addition of inverse positions. Using this approach may be justified in solving particular problems for the protection of information systems that have successfully applied the mathematical apparatus of the theory of inhibitory safe Petri nets as well as in the simulation of diagnostic computer systems. Results articles can be used for modeling the processing of large data sets and modeling relational databases.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Procedia Computer Science - Volume 49, 2015, Pages 99-103
Journal: Procedia Computer Science - Volume 49, 2015, Pages 99-103