Emmerich, WolfgangGruhn, Volker2004-12-062004-12-0619952002-04-04http://hdl.handle.net/2003/267110.17877/DE290R-14961In 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.enUniversität DortmundInternes Memorandum des Lehrstuhls für Software-Technologie / Fachbereich Informatik, Universität Dortmund ; 47analysis of FUNSOFT netsapplication of FUNSOFT netsFUNSOFT netsFUNSOFT net toolssemantics definition in terms of Pr/T nets004working paper