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

[thumbnail of 12.9_iwssd6.pdf]
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
Downloads since deposit
497Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item