Textural colored petrinets

Dissertant

Hasan, Alya Karim A.

University

University of Technology

Faculty

-

Department

Computer Sciences Department

University Country

Iraq

Degree

Master

Degree Date

1999

English Abstract

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.

Main Subjects

Information Technology and Computer Science

Topics

• Computer networks

• APA
• MLA
• AMA

Language

English

Data Type

Arab Theses

Record ID

BIM-306351