Extending PNML scope: a framework to combine petri nets types

Simple item page
dc.contributor.authorHillah, L.
dc.contributor.authorKordon, F.
dc.contributor.authorLakos, C.
dc.contributor.authorPetrucci, L.
dc.contributor.conferenceInternational Conference on Application and Theory of Petri Nets and Concurrency (32nd : 2011 : Newcastle upon Tyne, UK)
dc.contributor.editorJensen, K.
dc.contributor.editorVanDerAalst, W.M.P.
dc.contributor.editorMarsan, M.A.
dc.contributor.editorFranceschinis, G.
dc.contributor.editorKleijn, J.
dc.contributor.editorKristensen, L.M.
dc.date.issued2012
dc.description.abstractThe Petri net standard ISO/IEC 15909 comprises 3 parts. The first one defines the most used net types, the second an interchange format for these – both are published. The third part deals with Petri net extensions, in particular structuring mechanisms and the introduction of additional, more elaborate net types within the standard. This paper presents a contribution to elaborate an extension framework for the third part of the standard. This strategy aims at composing enabling rules and augmenting constraints in order to build new Petri net types. We show as a proof of concept how this can be achieved with priorities, times, inhibitor arcs in the context of an interleaving semantics. We then map this framework onto the current standard metamodels.
dc.description.statementofresponsibilityLom-Messan Hillah, Fabrice Kordon, Charles Lakos and Laure Petrucci
dc.identifier.citationTransactions on Petri Nets and Other Models of Concurrency VI: 32nd International Conference on Application and Theory of Petri Nets and Concurrency, held in Newcastle upon Tyne, 20-24 June, 2011 / K. Jensen, Wil M.P. van der Aalst, M.A. Marsan, G. Franceschinis, J. Kleijn and L.M. Kristensen (eds.): pp.46-70
dc.identifier.doi10.1007/978-3-642-35179-2_3
dc.identifier.isbn9783642351785
dc.identifier.issn0302-9743
dc.identifier.issn1611-3349
dc.identifier.urihttp://hdl.handle.net/2440/77233
dc.language.isoen
dc.publisherSpringer-Verlag
dc.publisher.placeGermany
dc.relation.ispartofseriesLecture Notes in Computer Science; 7400
dc.rights© Springer-Verlag Berlin Heidelberg 2012
dc.source.urihttps://doi.org/10.1007/978-3-642-35179-2_3
dc.subjectStandardisation
dc.subjectPNML
dc.subjectprioritised petri nets
dc.subjecttime nets
dc.titleExtending PNML scope: a framework to combine petri nets types
dc.typeConference paper
pubs.publication-statusPublished

Files

Collections

Computer Science publications