FUNSOFT Nets: a petri-net based software process modeling language.
Proceedings of the 6th International Workshop on Software Specification and Design, Como, Italy.
(175 - 184).
IEEE Computer Society Press
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.
|Title:||FUNSOFT Nets: a petri-net based software process modeling language|
|Open access status:||An open access version is available from UCL Discovery|
|Additional information:||Imported via OAI, 7:29:01 8th Sep 2005|
|UCL classification:||UCL > School of BEAMS > Faculty of Engineering Science > Computer Science|
Archive Staff Only