XRL/Woflan : verification of an XML/Petri-net-based language for inter-organizational workflows

H.M.W. Verbeek, W.M.P. Aalst, van der, Akhil Kumar

Research output: Book/Report › Report › Academic

73 Downloads (Pure)

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	58
ISBN (Print)	90-386-1627-9
Publication status	Published - 2001

Name	BETA publicatie : working papers
Volume	65
ISSN (Print)	1386-9213

Access to Document

@book{f1d17ef7fe0243149fdf504d52edd073,

title = "XRL/Woflan : verification of an XML/Petri-net-based language for inter-organizational workflows",

author = "H.M.W. Verbeek and {Aalst, van der}, W.M.P. and Akhil Kumar",

year = "2001",

language = "English",

isbn = "90-386-1627-9",

series = "BETA publicatie : working papers",

publisher = "Technische Universiteit Eindhoven",

}

TY - BOOK

T1 - XRL/Woflan : verification of an XML/Petri-net-based language for inter-organizational workflows

AU - Verbeek, H.M.W.

AU - Aalst, van der, W.M.P.

AU - Kumar, Akhil

PY - 2001

Y1 - 2001

M3 - Report

SN - 90-386-1627-9

T3 - BETA publicatie : working papers

BT - XRL/Woflan : verification of an XML/Petri-net-based language for inter-organizational workflows

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -