UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

FUNSOFT Nets: a petri-net based software process modeling language

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. (175 - 184). IEEE Computer Society Press Green open access

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
284Kb

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 > School of BEAMS > Faculty of Engineering Science > Computer Science

View download statistics for this item

Archive Staff Only: edit this record