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
2 references·7 citing·27 second hop
FUNSOFT nets: a Petri-net based software process modeling language (1991)FUNSOFT nets: a Petri-net based software …Validation and verification of software process models (1991)Validation and verification o…Managing software processes in the environment MELMAC (1990)Managing software processes i…Representing Process Variation with a Process Family (2007)Representing Process Variatio…Why do we actually need the Pi-calculus for business process management? (2006)Why do we actually need the P…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…Discovering models of software processes from event-based data (1998)Specifying process-oriented hypertext for organizational computing (2001)FUNSOFT nets: a Petri-net based software process modeling language (2002)Applicability of Process Discovery Algorithms for Software Organizations (2009)Managing software processes in the environment MELMAC (1990)An evaluation of FUNSOFT nets (2005)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)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Business Process Management: A Survey (2003)Workflow Patterns (2003)Advanced Querying and Reasoning on Business Process Models (2008)Evaluation of a business continuity plan using process algebra and modal logic (2009)Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages (2009)Out of the Crisis (1982)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Kepler: An Extensible System for Design and Execution of Scientific Workflows (2004)Desiderata for languages to be used in the definition of reference business processes (2007)Decomposition Driven Consolidation of Process Models (2013)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)Geo-Opera: Workflow concepts for spatial processes (1997)
this work references cited by second hop

References

  • 1990Managing software processes in the environment MELMAC92 cited
  • 1991Validation and verification of software process models82 cited

Cited by

  • 2007Representing Process Variation with a Process Family39 cited
  • 2006Why do we actually need the Pi-calculus for business process management?36 cited
  • 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