Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userAlgebraic representation of Petri nets
التمثيل الجبري لشبكات بتري
1211
0 19
0
(
0
)
Created by
Shamra Editor
Ask ChatGPT about the research
تقدم هذه الورقة البحثية تمثيلا جبريا لنموذج شبكات بتري بالاستفادة من أن مبدأ الإطلق في شبكات بتري يعتمد على عملية اختزال من مونوئيد الأعداد الطبيعية التبديلي. قدمنا في نهاية البحث مبرهنة توضح كيفية الاستفادة من الخواص الجبرية للتمكن من محاكاة شبكات بتري جبريا و التعرف على النتائج التي سنحصل عليها بعد إطلاق سلسلة من انتقالات الشكبة.
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.
References used
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
Artificial intelligence review:
Research summary
تقدم هذه الورقة البحثية تمثيلاً جبرياً لنموذج شبكات بتري، مستفيدة من أن مبدأ الإطلاق في شبكات بتري يعتمد على عملية اختزال من مونوئيد الأعداد الطبيعية التبديلي. تهدف الورقة إلى تعريف جبر بتري وفئة بتري Rpv، التي تتألف من صفين: صف الأشياء وصف المورفيزمات. في نهاية البحث، قدمت مبرهنة توضح كيفية الاستفادة من الخواص الجبرية لمحاكاة شبكات بتري جبرياً والتعرف على النتائج التي سنحصل عليها بعد إطلاق سلسلة من انتقالات الشبكة. تم تقديم مفهوم جديد وهو فئة بتري بالاعتماد على تعريف الفئة في الجبر المجرد، مما يساعد في إسقاط جميع مبرهنات وبديهيات ونتائج الفئة على شبكات بتري. كما تم تقديم تعريف للدالي موافق ومخالف التغيير بين فئتي بتري. النتائج التي توصلت إليها الورقة تسهل العمل بنموذج التمثيل البياني لشبكات بتري وتوضح الشرط الجبري الواجب توفره لانتقال حالة نموذج شبكة بتري من حالة إلى أخرى وفق سلسلة من إطلاق الانتقالات المتتالية.
Critical review
دراسة نقدية: تعتبر الورقة البحثية مساهمة قيمة في مجال تمثيل شبكات بتري جبرياً، حيث تقدم مفاهيم جديدة مثل جبر بتري وفئة بتري. ومع ذلك، يمكن أن يكون العرض أكثر وضوحاً وتبسيطاً، خاصة في الأجزاء التي تتناول التعريفات الرياضية والمبرهنات. قد يجد القراء غير المتخصصين صعوبة في متابعة التفاصيل الرياضية الدقيقة. بالإضافة إلى ذلك، كان من الممكن تقديم أمثلة تطبيقية أكثر توضيحاً لكيفية استخدام هذه المفاهيم في حل مشاكل عملية. على الرغم من ذلك، تظل الورقة إضافة مهمة للأدبيات العلمية في هذا المجال.
Questions related to the research
-
ما هو الهدف الرئيسي من الورقة البحثية؟
الهدف الرئيسي هو تقديم تمثيل جبري لشبكات بتري وتحديد جبر بتري وفئة بتري لمحاكاة حركة الكائنات جبرياً والتعرف على سلوكها العام في الشبكة عند إطلاق الانتقالات.
-
ما هي المكونات الرئيسية لفئة بتري كما تم تعريفها في الورقة؟
فئة بتري تتألف من صفين: صف الأشياء الذي يشمل قيم الحالات القابلة للوصول لشبكة بتري، وصف المورفيزمات الذي يشمل أسهم الوصول من حالة إلى أخرى في الشبكة.
-
ما هي المبرهنة الرئيسية التي قدمتها الورقة؟
المبرهنة الرئيسية توضح كيفية الاستفادة من الخواص الجبرية لمحاكاة شبكات بتري جبرياً وتحديد النتائج التي سنحصل عليها بعد إطلاق سلسلة من انتقالات الشبكة.
-
ما هي التحديات التي يمكن أن تواجه القراء عند قراءة هذه الورقة؟
قد يجد القراء غير المتخصصين صعوبة في متابعة التفاصيل الرياضية الدقيقة والتعريفات المعقدة، كما أن العرض قد يكون بحاجة إلى مزيد من التبسيط والتوضيح.
rate research
Read More
This paper addresses failure-prone
production line with limited buffers. Each machine is subject to
either time-dependent failures or operation dependent failures.
The purpose of this study is to define the reliability index for electrical power
systems specifically and without using alot of data and treating processes. Results of this
study is useful in electrical networks planning and design because of its
technical and
economical importance in the optimal choosing of networks elements and connections. In
this research we use petri nets concept to represent electrical nets under studying then
simulate the equivalent chart on GRIF program to find reliability degree for the system and
its elements. This research includes comparing the suggested methodology to a reference
net and then apply this method on electrical local network to discuss the results. It has
been proved that petri nets are effective in reliability calculations with the best of
simulation methods.
This paper presents the proposed Method for designing fuzzy
supervisory controller model for Proportional Integral Differential
controller (PID) by Fuzzy Reasoning Petri Net (FRPN),the Features
of Method shows the fuzzification value for each prop
erty of
membership function for each input of fuzzy supervisory controller,
and determine the total number of rules required in designing the
controller before enter the appropriate rules in the design phase of
the rules, and determine the value of the inputs of the rule that has
been activated, and assembly variables that have the same property
and show the value for each of them programmatically, and
determine the deffuzification value using deffuzification methods.
In this paper, we will design a Fuzzy Smith Predictor (FSP),
then we will model, simulate and analyze it using colored Fuzzy Petri
networks, then we will compare it with a conventional proportional
integral controller.
The main objective of this
research is to reduce the delay time
of the wind turbine system and to increase its reliability, in the other
side, to improve the response and stability of the operating point of
the mechanical energy and reduce vibration caused by the delay time
in the system.
In this article we propose a new graphical method for modeling
sequential controllers using high-level colored Petri nets. We will
present how to build a sequential controller using this method and
analyze its state space. The results in this stud
y showed an
advantage of the controller designed by the new method compared
to which designed algebraically by ordinary Petri net in complex
systems. The new method simplify the sequential controller network
and increase the performance speed and improve the reliability.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
