SOFTWARE DESIGN MODELLING WITH FUNCTIONAL PETRI NETS
DOI:
https://doi.org/10.4314/njt.221.460Keywords:
petri netsAbstract
Petri Nets use two basic primitives: events and conditions to view or model a system. Events are the actions that take place in the system. The occurrence of events is controlled by the "state" of the system, which can be described as a set of conditions. An immediate application of such a model is in the control structures of conventional programming languages. Control structures are the backbone of every programming language. In this paper, an equivalent functional Petri Net (FPN) model is developed for each of the three constructs of structured programs and a FPN Software prototype proposed for the conventional programming construct: if-then-else statement. The motivating idea is essentially to show that FPNs could be used as an alternative approach for program design.
Downloads
Issue
Section
License
The contents of the articles are the sole opinion of the author(s) and not of NIJOTECH.
NIJOTECH allows open access for distribution of the published articles in any media so long as whole (not part) of articles are distributed.
A copyright and statement of originality documents will need to be filled out clearly and signed prior to publication of an accepted article. The Copyright form can be downloaded from http://nijotech.com/downloads/COPYRIGHT%20FORM.pdf while the Statement of Originality is in http://nijotech.com/downloads/Statement%20of%20Originality.pdf
For articles that were developed from funded research, a clear acknowledgement of such support should be mentioned in the article with relevant references. Authors are expected to provide complete information on the sponsorship and intellectual property rights of the article together with all exceptions.
It is forbidden to publish the same research report in more than one journal.

