SZodixStudyAcademic Library

Shelves Open access

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

Automatic Information Flow Analysis of Business Process Models · Study

WorkAutomatic Information Flow Analysis of Business Process Models

Rafael Accorsi2012

Work2012

Automatic Information Flow Analysis of Business Process Models

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

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 2009Petri Net Transformations for Business Processes – A Survey 2011Analysis on demand: Instantaneous soundness checking of industrial business process models 2011Automated Certification for Compliant Cloud-based Business Processes 2011Strong non-leak guarantees for workflow models

Cited by

2014Detecting Data-Flow Errors in BPMN 2.0 2014Information leak detection in business process models: Theory, application, and tool support

Related works

Explore the map →

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

2014Information leak detection in business process models: Theory, application, and tool supportarticle · 5 shared references 2015Prediction of business process durations using non-Markovian stochastic Petri netsarticle · 2 shared references 2014Supporting Process Model Validation through Natural Language Generationarticle · 2 shared references 2011Automated Certification for Compliant Cloud-based Business Processesarticle · 2 shared references 2013Querying business process model repositoriesarticle · 2 shared references 2012Efficient querying of large process model repositoriesarticle · 2 shared references

Details

Year2012

Typeother

Published2012-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations36

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-642-32885-5_13

openalex_workW44751530

Links

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