SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Modelling and Validation with VipTool · Study

WorkModelling and Validation with VipTool

Jörg Desel2003

Work2003

Modelling and Validation with VipTool

Jörg Desel · Gabriel Juhás · Robert Lorenz · Christian Neumair

34 citations·0/0 files stored·Lecture notes in computer science

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 Formal Methods in Verification Petri Nets in System Modeling

Abstract

No abstract was published for this record.

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 — 34 citations exist upstream.

References

2002Workflow Management 2001Workflow Management: Models, Methods, and Systems 2000ARIS Architecture and Reference Models for Business Process Management 2000Validation of Process Models by Construction of Process Nets

Cited by

2011Investigations on Stochastic Information Control Nets 2008INCOME2010 - a Toolset for Developing Process-Oriented Information Systems Based on Petri Nets 2009Construction of Process Models from Example Runs 2008From Human Knowledge to Process Models

Related works

Explore the map →

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

2007DECLARE: Full Support for Loosely-Structured Processesother · 2 shared references 2006A Declarative Approach for Flexible Business Processes Managementother · 2 shared references 2005Discovering Social Networks from Event Logsarticle · 2 shared references 2006Discovering expressive process models by clustering log tracesarticle · 2 shared references 2007Mining process models with non-free-choice constructsarticle · 2 shared references 2005Process Mining and Verification of Properties: An Approach Based on Temporal Logicother · 2 shared references

Details

Year2003

Typeother

Published2003-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations34

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/3-540-44895-0_26

openalex_workW1879479488

Links

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