تقدم هذه الورقة البحثية تمثيلا جبريا لنموذج شبكات بتري بالاستفادة من أن مبدأ الإطلق
في شبكات بتري يعتمد على عملية اختزال من مونوئيد الأعداد الطبيعية التبديلي.
قدمنا في نهاية البحث مبرهنة توضح كيفية الاستفادة من الخواص الجبرية للتمكن من
محاكاة شبكات بتري جبريا و التعرف على النتائج التي سنحصل عليها بعد إطلاق سلسلة
من انتقالات الشكبة.
This paper provides algebraic representation of Petri Nets model, taking
advantage that the releasing principle of Petri Nets depends on reduction process
of Monoiad of the commutative natural numbers.
(In conclusion) Finally, we provided a theorem that explains how to make use of
algebraic properties, to simulate Petri Nets algebraically and identify the results
we will get after releasing a series of Petri Nets' transitions.
المراجع المستخدمة
ANTSAKLIS, P., IORDACHE, M., 2006 - A Petri Net Structural Approach , Birkhäuser Boston, University of Illinois, USA, 1-28
BAHLS, P., COLE, J., GALATOS, N., JIPSEN, P., TSINAKIS, C.,2003 - Cancellative residuated lattices, Algebra Universalis 50(1), 83– 106
GOOS, G., HARTMANIS, J., LEENWEN, J., 2014 - Application and Theory of Petri Nets and Concurrency: 35th International Conference, PETRI NETS 2014, Springer International Publishing, Tunis, Tunisia, 233-252