An ECNO semantics for Petri nets

Publication: Research - peer-reviewJournal article – Annual report year: 2012

Documents

View graph of relations

The Event Coordination Notation (ECNO) allows modelling the behaviour of software on top of structural software models - and to generate program code from these models fully automatically. ECNO distinguishes between the local behaviour of elements (objects) and the global behaviour, which denes the coordination of the local behaviour of the dierent elements. The global behaviour is dened by ECNO's coordination diagrams, whereas the local behaviour of the different elements can, for example, be modelled by a simple form of Petri nets, ECNO nets. The ideas of ECNO have already been presented in earlier work. In this paper, we will show that the ECNO, in turn, can be used for modelling the behaviour of Petri nets in a simple and concise way. What is more, we will show that the ECNO semantics of Place/Transition Systems can easily be extended to so-called signal-event nets.
Original languageEnglish
JournalPetri Net Newsletter
Publication date2012
Issue81
Pages3–16
ISSN0391-1804
StatePublished

Keywords

  • Model-based Software Engineering, Local and global behaviour modelling, Event coordination, Petri net semantics
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

Download statistics

No data available

ID: 51202316