Emmerich, W;
Gruhn, V;
(1991)
FUNSOFT Nets: a petri-net based software process modeling language.
In:
Proceedings of the 6th International Workshop on Software Specification and Design, Como, Italy.
(pp. 175-184).
IEEE Computer Society Press
![[thumbnail of 12.9_iwssd6.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) Preview |
PDF
12.9_iwssd6.pdf Download (291kB) |
Abstract
Introduces an approach to software process modeling and analysis. It is based on describing software processes by FUNSOFT nets. FUNSOFT nets are high level Petri nets which are adapted to the application domain of software process modeling. Their semantics is defined by predicate/transition nets. That enables them to benefit from standard analysis techniques approved for predicate/transition nets.
| Type: | Book chapter |
|---|---|
| Title: | FUNSOFT Nets: a petri-net based software process modeling language |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1109/IWSSD.1991.213063 |
| Additional information: | Imported via OAI, 7:29:01 8th Sep 2005 |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/980 |
Archive Staff Only
 |
View Item |
