Title :
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
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;
Conference_Titel :
Computer Software and Applications Conference, 1994. COMPSAC 94. Proceedings., Eighteenth Annual International
Conference_Location :
Taipei
Print_ISBN :
0-8186-6705-2
DOI :
10.1109/CMPSAC.1994.342765
