Software Process Modelling with FUNSOFT Nets
Loading...
Date
2002-04-04
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Universität Dortmund
Abstract
In this paper we introduce FUNSOFT nets. FUNSOFT nets are high level Petri nets which are well-suited for software process modelling. We define the semantics of FUNSOFT nets in terms of Pr/T nets. Thus we enable the use of standard Petri net analysis techniques for examining software process model properties. We point out which analysis techniques are of interest from a software process modelling point of view. Moreover, we give an example for a software process model represented by a FUNSOFT net and we point out which tools for editing and analysing FUNSOFT nets are available.
Description
Table of contents
Keywords
analysis of FUNSOFT nets, application of FUNSOFT nets, FUNSOFT nets, FUNSOFT net tools, semantics definition in terms of Pr/T nets