Statechartable Petri nets

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
59 Downloads (Pure)

Abstract

Petri nets and statecharts can model concurrent systems in a succinct way. While translations from statecharts to Petri nets exist, a well-defined translation from Petri nets to statecharts is lacking. Such a translation should map an input net to a corresponding statechart, having a structure and behaviour similar to that of the input net. Since statecharts can only model a restricted form of concurrency, not every Petri net has a corresponding statechart. We identify a class of Petri nets, called statechartable nets, that can be translated to corresponding statecharts. Statechartable Petri nets are structurally defined using the novel notion of an area. We also define a structural translation that maps each statechartable Petri net to a corresponding statechart. The translation is proven sound and complete for statechartable Petri nets.
Original languageEnglish
Pages (from-to)659-681
Number of pages23
JournalFormal Aspects of Computing
Volume25
Issue number5
DOIs
Publication statusPublished - 2013

Fingerprint Dive into the research topics of 'Statechartable Petri nets'. Together they form a unique fingerprint.

  • Cite this