The following information was submitted:
Transactions: INTERNATIONAL JOURNAL of COMPUTERS
Transactions ID Number: 19-438
Full Name: Anthony Spiteri Staines
Position: Lecturer
Age: ON
Sex: Male
Address: Edmar, St. Michael's str., St. Julian's, STJ 1231
Country: MALTA
Tel:
Tel prefix:
Fax:
E-mail address: toni_staines@yahoo.com
Other E-mails:
Title of the Paper: Supporting Requirements Engineering With Different Petri Net Classes
Authors as they appear in the Paper: A Spiteri Staines
Email addresses of all the authors:
Number of paper pages: 8
Abstract: This paper considers how Petri net main classes or categories can be used to support systems and software requirements engineering processes. In general Petri nets are classifiable into four main categories which are i) elementary nets , ii) Normal Petri nets , iii) higher order nets and iv) timed Petri nets or Petri nets with time. Apart from some major fundamental differences, each category has a specific use for systems engineering and software engineering and thus they can clearly help with requirements engineering issues. In this work the main differences between these categories are briefly explained. It is also shown how these Petri net classes can be made to fit in a semi structured approach. This is very useful for the analysis and design of a whole range of system types. A simple case study of a vending machine is used for illustrating this work.
Keywords: Higher order Petri nets, Petri nets, Requirements engineering, software modeling
EXTENSION of the file: .pdf
Special (Invited) Session: Using Petri Net Classes for System Requirements Engineering
Organizer of the Session: 201-318
How Did you learn about congress:
IP ADDRESS: 193.188.47.23
