A Petri-net-based Modeling Assisted Software Environment (MASE) tool

Author

Tan, Guat Yew ; Hura, Gurdeep S.

Author_Institution

Sch. of Appl. Sci., Nanyang Technol. Inst., Singapore

fYear

1994

fDate

9-11 Nov 1994

Firstpage

439

Lastpage

444

Abstract

A graphical-user-interface (GUI) for a Modeling Assisted Software Environment (MASE) tool based on Petri nets is proposed. The MASE tool is a hierarchical object-oriented Petri net package. The proposed package allows the creation, moving, erasing and alignment of objects, creation of sub and super-nets, etc. by mouse clicking. Further, automatic and manual simulation are also supported by popping up of an execution panel. It supports T-timed Petri nets, high level Petri nets and is proposed to include other extended models in it to make a more generic platform of system design. The interpretations of the Petri net can be added by using MASE language. After the execution of the Petri-net, a pseudo-code will be generated based on the system drawn. The tool also supports various analysis properties like safety, boundedness, deadlock, etc. Other properties can easily be included in the analysis library (a future plan)

Keywords

Petri nets; automatic programming; graphical user interfaces; object-oriented programming; programming environments; software tools; systems analysis; MASE language; MASE tool; Modeling Assisted Software Environment tool; Petri-net; T-timed Petri nets; analysis library; analysis properties; boundedness; deadlock; execution panel; graphical-user-interface; hierarchical object-oriented Petri net package; high level Petri nets; mouse clicking; pseudo-code generation; safety; simulation; system design; Graphical user interfaces; Libraries; Mice; Object oriented modeling; Packaging; Petri nets; Safety; Software tools; System analysis and design; System recovery;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1994. COMPSAC 94. Proceedings., Eighteenth Annual International

Conference_Location

Taipei

Print_ISBN

0-8186-6705-2

Type

conf

DOI

10.1109/CMPSAC.1994.342765

Filename

342765