SZodixStudyAcademic Library

Dashboard Shelves Open access My library Inbox Notes Write Learn Alerts

More

Ask your library Notifications Quick cite Review

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

Structural soundness of workflow nets is decidable · Study

ArticleShelves

ArticleStructural soundness of workflow nets is decidable

Ferucio Laurenţiu Ţiplea2005

OA

Articlegreen2005

Structural soundness of workflow nets is decidable

Ferucio Laurenţiu Ţiplea · Dan Cristian Marinescu

29 citations·0/0 files stored·Information Processing Letters

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

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 2003Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach 2004Generalised Soundness of Workflow Nets Is Decidable

Cited by

2010Uniform verification of workflow soundness 2018Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix 2007Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines

Related works

Explore the map →

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

2013Business Process Modeling Using Petri Netsother · 3 shared references 2011Formalizing a Workflow-Net Implementation of Design-Structure-Matrix-Based Process Planning for New Product Developmentarticle · 3 shared references 2008On the relationship between workflow models and document typesarticle · 3 shared references 2006Translating unstructured workflow processes to readable BPEL: Theory and implementationarticle · 2 shared references 2005Analyzing BPEL processes using Petri netsother · 2 shared references 2003Challenges in Business Process Management: Verification of business processes using Petri netsarticle · 2 shared references

Details

Year2005

Typearticle

Published2005-06-29

VenueInformation Processing Letters

ISSN-L0020-0190

Languageen

Citations29

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1016/j.ipl.2005.06.002

openalex_workW2106274692

Links

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