Please report any queries concerning the funding data grouped in the sections named "Externally Awarded" or "Internally Disbursed" (shown on the profile page) to
your Research Finance Administrator. Your can find your Research Finance Administrator at http://www.ucl.ac.uk/finance/research/post_award/post_award_contacts.php by entering your department
Please report any queries concerning the student data shown on the profile page to:
Email: portico-services@ucl.ac.uk
Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
Email: portico-services@ucl.ac.uk
Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
Publication Detail
FUNSOFT Nets: a petri-net based software process modeling language
-
Publication Type:Chapter
-
Authors:Emmerich W, Gruhn V
-
Publisher:IEEE Computer Society Press
-
Publication date:10/1991
-
Pagination:175, 184
-
Book title:Proceedings of the 6th International Workshop on Software Specification and Design, Como, Italy
-
Author URL:
-
Full Text URL:
-
Notes:Imported via OAI, 7:29:01 8th Sep 2005
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.
› More search options
UCL Researchers
