JOURNAL ARTICLE

FUNSOFT nets: a Petri-net based software process modeling language

Wolfgang EmmerichVolker Gruhn

Year: 1991 Journal:   International Workshop on Software Specification and Design Pages: 175-184

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. >

Keywords:
Petri net Computer science Programming language Process architecture Software engineering Predicate (mathematical logic) Stochastic Petri net Software Theoretical computer science

Metrics

55
Cited By
6.00
FWCI (Field Weighted Citation Impact)
13
Refs
0.93
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Business Process Modeling and Analysis
Social Sciences →  Business, Management and Accounting →  Management Information Systems
Service-Oriented Architecture and Web Services
Physical Sciences →  Computer Science →  Information Systems
Petri Nets in System Modeling
Physical Sciences →  Computer Science →  Computational Theory and Mathematics

Related Documents

BOOK-CHAPTER

Software process validation based on FUNSOFT nets

Volker GruhnArmin Saalmann

Lecture notes in computer science Year: 2005 Pages: 223-226
JOURNAL ARTICLE

Software Process Modelling with FUNSOFT Nets

Wolfgang EmmerichVolker Gruhn

Journal:   Technische Universität Dortmund Eldorado (Technische Universität Dortmund) Year: 1995
JOURNAL ARTICLE

Modeling the Value-Based Software Process with Object-Petri-Nets.

LiGuo HuangJidong GeBarry BoehmJian Lü

Journal:   International Journal of Software and Informatics Year: 2010 Vol: 4 Pages: 101-119
© 2026 ScienceGate Book Chapters — All rights reserved.