Net-based system design representation and analysis

V. Varadharajan*, K. D. Baker

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


An augmented Petri net scheme for representing and analysing the design of a software system is presented. Both the structure and the behaviour of the system can be modelled using this scheme. The augmented Petri net formalism enables representation of both control and data flows of the system in an integrated manner. Tools to simulate, analyse and verify some behavioural properties of the modelled system using this scheme are currently being developed. Further, the use of this scheme in the synthesis of 'correct by construction' systems is also at present being investigated.

Original languageEnglish
Pages (from-to)167-178
Number of pages12
JournalComputer Systems Science and Engineering
Issue number4
Publication statusPublished - Oct 1987
Externally publishedYes

Fingerprint Dive into the research topics of 'Net-based system design representation and analysis'. Together they form a unique fingerprint.

Cite this