SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
FUNSOFT nets: a Petri-net based software process modeling language
1 references·5 citing·14 second hop
FUNSOFT nets: a Petri-net based software process modeling language (2002)FUNSOFT nets: a Petri-net based software …Validation and verification of software process models (1991)Validation and verification o…Experiences in Discovering, Modeling, and Reenacting Open Source Software Development Processes (2005)Experiences in Discovering, M…FlowManager: a workflow management system based on Petri nets (2003)FlowManager: a workflow manag…Support of cooperating and distributed business processes (2002)Support of cooperating and di…Process management in-the-many (1995)Process management in-the-manyComputer-aided verification of software process model properties (1993)Computer-aided verification o…FUNSOFT nets: a Petri-net based software process modeling language (1991)Discovering models of software processes from event-based data (1998)Specifying process-oriented hypertext for organizational computing (2001)Applicability of Process Discovery Algorithms for Software Organizations (2009)Managing software processes in the environment MELMAC (1990)Concepts and implementation of a rule-based process engine (1992)Software process model evolution in the SPADE environment (1993)Interworkflow system: coordination of each workflow system among multiple organizations (1998)Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models (2001)Process modeling in-the-large with SLANG (2002)Business process modeling in the workflow management environment Leu (1994)Towards a reference framework for process concepts (2005)A SURVEY AND ASSESSMENT OF SOFTWARE PROCESS REPRESENTATION FORMALISMS (1993)Computational reflection in software process modeling: the SLANG approach (1993)
this work references cited by second hop

References

  • 1991Validation and verification of software process models82 cited

Cited by

  • 2005Experiences in Discovering, Modeling, and Reenacting Open Source Software Development Processes26 cited
  • 2003FlowManager: a workflow management system based on Petri nets19 cited
  • 1993Computer-aided verification of software process model properties15 cited
  • 1995Process management in-the-many15 cited
  • 2002Support of cooperating and distributed business processes15 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work