| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Köhler-Bußmeier, Michael | - |
| dc.contributor.author | Capra, Lorenzo | - |
| dc.date.accessioned | 2024-12-06T16:26:39Z | - |
| dc.date.available | 2024-12-06T16:26:39Z | - |
| dc.date.issued | 2024-10-31 | - |
| dc.identifier.uri | https://hdl.handle.net/20.500.12738/16677 | - |
| dc.description.abstract | In this contribution we extend the concept of a Petri net morphism to Elementary Object Systems (EOS). EOS are a nets-within-nets formalism, i.e. we allow the tokens of a Petri net to be Petri nets again. This nested structure has the consequence that even systems defined by very small Petri nets have a quite huge reachability graph. In this contribution we use automorphism to describe symmetries of the Petri net topology. Since these symmetries carry over to markings as well this leads to a condensed state space, too. | en |
| dc.language.iso | en | en_US |
| dc.publisher | Arxiv.org | en_US |
| dc.relation.ispartof | De.arxiv.org | en_US |
| dc.subject | Computer Science - Logic in Computer Science | en_US |
| dc.subject | 68Q10 | en_US |
| dc.subject | F.1.1 | en_US |
| dc.subject | automorphism | en_US |
| dc.subject | canonical representation | en_US |
| dc.subject | nets within nets | en_US |
| dc.subject | nets as tokens | en_US |
| dc.subject | state space reductions | en_US |
| dc.subject | symmetry | en_US |
| dc.subject.ddc | 004: Informatik | en_US |
| dc.title | A "symbolic" representation of object-nets (extended version) | en |
| dc.type | Preprint | en_US |
| dc.description.version | ReviewPending | en_US |
| tuhh.oai.show | true | en_US |
| tuhh.publication.institute | Department Informatik | en_US |
| tuhh.publication.institute | Fakultät Technik und Informatik | en_US |
| tuhh.publisher.doi | 10.48550/arXiv.2411.00149 | - |
| tuhh.type.opus | Preprint (Vorabdruck) | - |
| dc.type.casrai | Other | - |
| dc.type.dini | preprint | - |
| dc.type.driver | preprint | - |
| dc.type.status | info:eu-repo/semantics/submittedVersion | en_US |
| dcterms.DCMIType | Text | - |
| item.creatorGND | Köhler-Bußmeier, Michael | - |
| item.creatorGND | Capra, Lorenzo | - |
| item.fulltext | No Fulltext | - |
| item.creatorOrcid | Köhler-Bußmeier, Michael | - |
| item.creatorOrcid | Capra, Lorenzo | - |
| item.grantfulltext | none | - |
| item.cerifentitytype | Publications | - |
| item.languageiso639-1 | en | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_816b | - |
| item.openairetype | Preprint | - |
| crisitem.author.dept | Department Informatik | - |
| crisitem.author.orcid | 0000-0002-3074-4145 | - |
| crisitem.author.parentorg | Fakultät Technik und Informatik | - |
| Appears in Collections: | Publications without full text | |
Add Files to Item
Note about this record
Export
Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.