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

W. Emmerich · Volker Gruhn

32 citations0/0 files storedInternational Workshop on Software Specification and Design

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Model-Driven Software Engineering Techniques Petri Nets in System Modeling

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

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 32 citations exist upstream.

References

1991Validation and verification of software process models

Cited by

2005Experiences in Discovering, Modeling, and Reenacting Open Source Software Development Processes 2003FlowManager: a workflow management system based on Petri nets 1993Computer-aided verification of software process model properties 1995Process management in-the-many 2002Support of cooperating and distributed business processes

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

Imported from OpenAlex (CC0) — nothing here is generated.