Low- and High-Level Petri Nets with Individual Tokens

dc.contributor.authorModica, Tony
dc.contributor.authorGabriel, Karsten
dc.contributor.authorEhrig, Hartmut
dc.contributor.authorHoffmann, Kathrin
dc.contributor.authorShareef, Sarkaft
dc.contributor.authorErmel, Claudia
dc.contributor.authorGolas, Ulrike
dc.contributor.authorHermann, Frank
dc.contributor.authorBiermann, Enrico
dc.date.accessioned2020-06-15T06:34:58Z
dc.date.available2020-06-15T06:34:58Z
dc.date.issued2009
dc.description.abstractIn this article, we present a new variant of Petri nets with markings called "Petri nets with individual tokens", together with rule-based transformation following the double pushout approach. The most important change to former Petri net transformation approaches is that the marking of a net is no longer a "collective" set of tokens, but each each has an own identity leading to the concept of Petri nets with individual tokens. This allows us to formulate rules that can change the marking of a net arbitrarily without necessarily manipulating the structure. As a first main result that depends on nets with individual markings we show the equivalence of transition firing steps and the application of firing-simulating rules. We define categories of low-level and of algebraic high-level nets with individual tokens, called PTI nets and AHLI nets, respectively, and relate them with each other and their collective counterparts by functors. To be able to use the properties and analysis results of M-adhesive HLR systems (formerly know as weak adhesive high-level replacement systems) we show in further main results that both categories of PTI nets and AHLI nets are M-adhesive categories. By showing how to construct initial pushouts we also give necessary and sufficient conditions for the applicability of transformation rules in these categories, known as gluing condition in the literatureen
dc.identifier.issn1436-9915
dc.identifier.urihttps://depositonce.tu-berlin.de/handle/11303/11376
dc.identifier.urihttp://dx.doi.org/10.14279/depositonce-10263
dc.language.isoen
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.ddc004 Datenverarbeitung; Informatik
dc.subject.otherpetri netsen
dc.subject.othergraph transformationen
dc.subject.otherM-adhesiveen
dc.titleLow- and High-Level Petri Nets with Individual Tokensen
dc.typeResearch Paper
dc.type.versionsubmittedVersionen
tub.accessrights.dnbfree
tub.affiliationFak. 4 Elektrotechnik und Informatikde
tub.affiliation.facultyFak. 4 Elektrotechnik und Informatikde
tub.publisher.universityorinstitutionTechnische Universität Berlin
tub.series.issuenumber2009-13
tub.series.nameForschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin

Files

Original bundle
Now showing 1 - 1 of 1
Loading…
Thumbnail Image
Name:
tr-2009-13.pdf
Size:
1.64 MB
Format:
Adobe Portable Document Format

Collections