An Algebraic Approach to Timed Petri Nets with Applications to Communication Networks

dc.contributor.authorLingnau, Pascal
dc.contributor.authorGabriel, Karsten
dc.contributor.authorModica, Tony
dc.date.accessioned2020-06-11T06:40:44Z
dc.date.available2020-06-11T06:40:44Z
dc.date.issued2012
dc.description.abstractIn this report, we define a formalism for a time-extension to algebraic place/transition (P/T) nets. This allows time durations to be assigned to the transitions of a P/T net, representing delays present in the systems that are being modelled, which in turn influence (restrict) the firing behaviour of the nets. This is especially useful when modelling time-dependent systems. The new contribution of this approach is the definition of categories for the timed net classes of timed P/T nets, timed P/T systems and timed P/T states. Moreover, we define functorial relations between these categories as well as functorial relations to categories of untimed P/T nets and systems. The first main result is the formalisation of morphisms for all three net classes that preserve firing behaviour. The second main result is the equivalence of the categories of timed P/T systems and states, establishing a relation between structurally identical nets with a time offset. As a third main result we formalise structuring techniques for timed P/T nets and show that timed P/T nets fit in the framework of M-adhesive categories.en
dc.identifier.issn1436-9915
dc.identifier.urihttps://depositonce.tu-berlin.de/handle/11303/11312
dc.identifier.urihttp://dx.doi.org/10.14279/depositonce-10197
dc.language.isoen
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.ddc004 Datenverarbeitung; Informatik
dc.subject.otherplace/transition netsen
dc.subject.othertimed petri netsen
dc.subject.othercommunication networksen
dc.titleAn Algebraic Approach to Timed Petri Nets with Applications to Communication Networksen
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.issuenumber2012-02
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_2012-02.pdf
Size:
1.68 MB
Format:
Adobe Portable Document Format
Description:
Collections