Translating labelled P/T nets into EPCs for sake of communication

Research output: Book/ReportReportAcademic

20 Downloads (Pure)

Abstract

Petri nets can be used to capture the behavior of a process in a formal and precise way. However, Petri nets are less suitable to communicate the process to its owner, as simple routing constructs in the process might require a large number of transitions. This paper in- troduces a translation from labelled P/T nets to EPCs in such a way that many transitions can be translated into one EPC connector. The algorithm even allows for translating a set of transitions into an OR connector, even though the concept of OR connectors (especially the OR join connector) has no real equal in Petri nets. Using this translation presented here, labelled P/T nets may be communicated to the process owner by means of the created EPC.
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages15
ISBN (Print)978-90-386-0886-0
Publication statusPublished - 2007

Publication series

NameBETA publicatie : working papers
Volume194
ISSN (Print)1386-9213

Fingerprint

Dive into the research topics of 'Translating labelled P/T nets into EPCs for sake of communication'. Together they form a unique fingerprint.

Cite this