Textural colored petrinets

مقدم أطروحة جامعية

Hasan, Alya Karim A.

الجامعة

الجامعة التكنولوجية

الكلية

-

القسم الأكاديمي

قسم علوم الحاسوب

دولة الجامعة

العراق

الدرجة العلمية

ماجستير

تاريخ الدرجة العلمية

1999

الملخص الإنجليزي

Petri nets have been popular as formalism and practical too! for modeling and analysis concurrent systems.

Petri nets are used as a formal specification of system behavior.

Although the graphical description of Petri nets is one of its major advantages in terms of human readability, it has drawback for inter-tool communication and it is a long way from diagramming tools to generated code.

The ability to execute the models helps to verify the behavior of the model by users.

Software tools always have a textual description for nets in order to store them in fifes.

Such a file format is in most cases very concise, but not human readable.

A useful notation should compromise between conciseness, human readability and executabitity, in this thesis a textual representation of a type of Pori nets called Colored Petri nets (CP~ nets) is presented, (called TCPN ) and implemented.

TCPN permits a system to be specified and prototyped through the execution of these notations.

TCPN is based on integration two kinds of CP-net$.

The grammar for valid TCPN specifications is represented.

Object oriented C++ language is used for implementation.

التخصصات الرئيسية

تكنولوجيا المعلومات وعلم الحاسوب

الموضوعات

• شبكات الحاسوب

• APA
• MLA
• AMA

لغة النص

الإنجليزية

نوع البيانات

رسائل جامعية

رقم السجل

BIM-306351