On the mutual simulatability of different types of Petri nets
Concurrency and nets: advances in Petri nets
Representation formalisms for software process modelling
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
A Formal Model for Software Project Management
IEEE Transactions on Software Engineering
Managing software processes in the environment MELMAC
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Validation and verification of software process models
Proceedings of the European symposium on Software development environments and CASE technology
Analysis of software process models in the software process management environment MELMAC
Software engineering environments
Hierarchies in coloured Petri nets
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
Workflow management based on process model repositories
Proceedings of the 20th international conference on Software engineering
Flexible and Reliable Process Model Properties: An Integrated Approach
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Communication support for systems engineering - process modelling and animation with APRIL
Journal of Systems and Software
Formalisms to support the definition of processes
Journal of Computer Science and Technology
Representing process variation with a process family
ICSP'07 Proceedings of the 2007 international conference on Software process
Experiences in discovering, modeling, and reenacting open source software development processes
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Information and Software Technology
| Hi-index | 0.00 |
We introduce 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 to benefit from standard analysis techniques approved for Predicate/Transition nets.