Abstract
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 language | English |
|---|---|
| Pages (from-to) | 167-178 |
| Number of pages | 12 |
| Journal | Computer Systems Science and Engineering |
| Volume | 2 |
| Issue number | 4 |
| Publication status | Published - Oct 1987 |
| Externally published | Yes |