Do you want to publish a course? Click here

Algebraic representation of Petri nets

التمثيل الجبري لشبكات بتري

1243   0   19   0 ( 0 )
 Publication date 2017
and research's language is العربية
 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.


Artificial intelligence review:
Research summary
تقدم هذه الورقة البحثية تمثيلاً جبرياً لنموذج شبكات بتري، مستفيدة من أن مبدأ الإطلاق في شبكات بتري يعتمد على عملية اختزال من مونوئيد الأعداد الطبيعية التبديلي. تهدف الورقة إلى تعريف جبر بتري وفئة بتري Rpv، التي تتألف من صفين: صف الأشياء وصف المورفيزمات. في نهاية البحث، قدمت مبرهنة توضح كيفية الاستفادة من الخواص الجبرية لمحاكاة شبكات بتري جبرياً والتعرف على النتائج التي سنحصل عليها بعد إطلاق سلسلة من انتقالات الشبكة. تم تقديم مفهوم جديد وهو فئة بتري بالاعتماد على تعريف الفئة في الجبر المجرد، مما يساعد في إسقاط جميع مبرهنات وبديهيات ونتائج الفئة على شبكات بتري. كما تم تقديم تعريف للدالي موافق ومخالف التغيير بين فئتي بتري. النتائج التي توصلت إليها الورقة تسهل العمل بنموذج التمثيل البياني لشبكات بتري وتوضح الشرط الجبري الواجب توفره لانتقال حالة نموذج شبكة بتري من حالة إلى أخرى وفق سلسلة من إطلاق الانتقالات المتتالية.
Critical review
دراسة نقدية: تعتبر الورقة البحثية مساهمة قيمة في مجال تمثيل شبكات بتري جبرياً، حيث تقدم مفاهيم جديدة مثل جبر بتري وفئة بتري. ومع ذلك، يمكن أن يكون العرض أكثر وضوحاً وتبسيطاً، خاصة في الأجزاء التي تتناول التعريفات الرياضية والمبرهنات. قد يجد القراء غير المتخصصين صعوبة في متابعة التفاصيل الرياضية الدقيقة. بالإضافة إلى ذلك، كان من الممكن تقديم أمثلة تطبيقية أكثر توضيحاً لكيفية استخدام هذه المفاهيم في حل مشاكل عملية. على الرغم من ذلك، تظل الورقة إضافة مهمة للأدبيات العلمية في هذا المجال.
Questions related to the research
  1. ما هو الهدف الرئيسي من الورقة البحثية؟

    الهدف الرئيسي هو تقديم تمثيل جبري لشبكات بتري وتحديد جبر بتري وفئة بتري لمحاكاة حركة الكائنات جبرياً والتعرف على سلوكها العام في الشبكة عند إطلاق الانتقالات.

  2. ما هي المكونات الرئيسية لفئة بتري كما تم تعريفها في الورقة؟

    فئة بتري تتألف من صفين: صف الأشياء الذي يشمل قيم الحالات القابلة للوصول لشبكة بتري، وصف المورفيزمات الذي يشمل أسهم الوصول من حالة إلى أخرى في الشبكة.

  3. ما هي المبرهنة الرئيسية التي قدمتها الورقة؟

    المبرهنة الرئيسية توضح كيفية الاستفادة من الخواص الجبرية لمحاكاة شبكات بتري جبرياً وتحديد النتائج التي سنحصل عليها بعد إطلاق سلسلة من انتقالات الشبكة.

  4. ما هي التحديات التي يمكن أن تواجه القراء عند قراءة هذه الورقة؟

    قد يجد القراء غير المتخصصين صعوبة في متابعة التفاصيل الرياضية الدقيقة والتعريفات المعقدة، كما أن العرض قد يكون بحاجة إلى مزيد من التبسيط والتوضيح.


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
rate research

Read More

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.
comments
Fetching comments Fetching comments
Sign in to be able to follow your search criteria
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا