University of Dortmund,
Dept. of Computer Science,
4600 Dortmund 50,
Germany
Abstract:
We introduce an approach for modeling and analyzing software processes. It is
based on describing software processes by FUNSOFT nets. FUNSOFT nets are high
level Petri nets which have been particlularly developed to support software
process modeling. Their semantics is defined by Predicate/Transition nets.
That enables to benefit from standard analysis techniques approved for
Predicate/Transition nets. Finally we discuss how the S-invariant analysis
method for Predicate/Transition nets helps to reveal properties of software
processes described by FUNSOFT nets.