Matches in SemOpenAlex for { <https://semopenalex.org/work/W2810492748> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2810492748 endingPage "107" @default.
- W2810492748 startingPage "100" @default.
- W2810492748 abstract "Elementary Reference-nett Systems (ERS) is a class of Object-Oriented Petri Nets that follows the nets-within-nets paradigm. It combines theoretical properties as well as numerous practical needs for multi-agent-systems specification. However, it comes with some constraints that limit their expressiveness for automatic verification purposes due to the highly expressive nature of the underlying class of Petri nets. This article presents a set of transformation procedure from ERS to basic Petri nets in order to make verification feasible. It further establishes the space upper bound for the transformation which shows that the state space of the transformed P/T net grows exponentially as the number of object nets increases. Keywords: Petri nets, object orientation, agent systems, interaction, mobility, transformation" @default.
- W2810492748 created "2018-07-10" @default.
- W2810492748 creator A5033532743 @default.
- W2810492748 date "2018-12-30" @default.
- W2810492748 modified "2023-09-24" @default.
- W2810492748 title "Space upper bound analysis for transformation from elementary reference-net system to low-level P/T nets" @default.
- W2810492748 cites W146979983 @default.
- W2810492748 cites W1996109622 @default.
- W2810492748 cites W2151786168 @default.
- W2810492748 cites W2573930522 @default.
- W2810492748 hasPublicationYear "2018" @default.
- W2810492748 type Work @default.
- W2810492748 sameAs 2810492748 @default.
- W2810492748 citedByCount "0" @default.
- W2810492748 crossrefType "journal-article" @default.
- W2810492748 hasAuthorship W2810492748A5033532743 @default.
- W2810492748 hasConcept C104317684 @default.
- W2810492748 hasConcept C105795698 @default.
- W2810492748 hasConcept C111919701 @default.
- W2810492748 hasConcept C118615104 @default.
- W2810492748 hasConcept C120314980 @default.
- W2810492748 hasConcept C134306372 @default.
- W2810492748 hasConcept C136155141 @default.
- W2810492748 hasConcept C14166107 @default.
- W2810492748 hasConcept C154945302 @default.
- W2810492748 hasConcept C177264268 @default.
- W2810492748 hasConcept C185592680 @default.
- W2810492748 hasConcept C197551870 @default.
- W2810492748 hasConcept C199360897 @default.
- W2810492748 hasConcept C204241405 @default.
- W2810492748 hasConcept C2524010 @default.
- W2810492748 hasConcept C2777212361 @default.
- W2810492748 hasConcept C2778572836 @default.
- W2810492748 hasConcept C2781238097 @default.
- W2810492748 hasConcept C33923547 @default.
- W2810492748 hasConcept C38677869 @default.
- W2810492748 hasConcept C41008148 @default.
- W2810492748 hasConcept C55493867 @default.
- W2810492748 hasConcept C72434380 @default.
- W2810492748 hasConcept C77553402 @default.
- W2810492748 hasConcept C80444323 @default.
- W2810492748 hasConceptScore W2810492748C104317684 @default.
- W2810492748 hasConceptScore W2810492748C105795698 @default.
- W2810492748 hasConceptScore W2810492748C111919701 @default.
- W2810492748 hasConceptScore W2810492748C118615104 @default.
- W2810492748 hasConceptScore W2810492748C120314980 @default.
- W2810492748 hasConceptScore W2810492748C134306372 @default.
- W2810492748 hasConceptScore W2810492748C136155141 @default.
- W2810492748 hasConceptScore W2810492748C14166107 @default.
- W2810492748 hasConceptScore W2810492748C154945302 @default.
- W2810492748 hasConceptScore W2810492748C177264268 @default.
- W2810492748 hasConceptScore W2810492748C185592680 @default.
- W2810492748 hasConceptScore W2810492748C197551870 @default.
- W2810492748 hasConceptScore W2810492748C199360897 @default.
- W2810492748 hasConceptScore W2810492748C204241405 @default.
- W2810492748 hasConceptScore W2810492748C2524010 @default.
- W2810492748 hasConceptScore W2810492748C2777212361 @default.
- W2810492748 hasConceptScore W2810492748C2778572836 @default.
- W2810492748 hasConceptScore W2810492748C2781238097 @default.
- W2810492748 hasConceptScore W2810492748C33923547 @default.
- W2810492748 hasConceptScore W2810492748C38677869 @default.
- W2810492748 hasConceptScore W2810492748C41008148 @default.
- W2810492748 hasConceptScore W2810492748C55493867 @default.
- W2810492748 hasConceptScore W2810492748C72434380 @default.
- W2810492748 hasConceptScore W2810492748C77553402 @default.
- W2810492748 hasConceptScore W2810492748C80444323 @default.
- W2810492748 hasIssue "4" @default.
- W2810492748 hasLocation W28104927481 @default.
- W2810492748 hasOpenAccess W2810492748 @default.
- W2810492748 hasPrimaryLocation W28104927481 @default.
- W2810492748 hasRelatedWork W1479780893 @default.
- W2810492748 hasRelatedWork W1481750753 @default.
- W2810492748 hasRelatedWork W1493441784 @default.
- W2810492748 hasRelatedWork W1506995308 @default.
- W2810492748 hasRelatedWork W1531262057 @default.
- W2810492748 hasRelatedWork W1551500227 @default.
- W2810492748 hasRelatedWork W1601437325 @default.
- W2810492748 hasRelatedWork W184850979 @default.
- W2810492748 hasRelatedWork W2024286707 @default.
- W2810492748 hasRelatedWork W2091260341 @default.
- W2810492748 hasRelatedWork W2114362103 @default.
- W2810492748 hasRelatedWork W2125025425 @default.
- W2810492748 hasRelatedWork W2130283794 @default.
- W2810492748 hasRelatedWork W2140363718 @default.
- W2810492748 hasRelatedWork W2145663787 @default.
- W2810492748 hasRelatedWork W2159034671 @default.
- W2810492748 hasRelatedWork W2286381663 @default.
- W2810492748 hasRelatedWork W2712555312 @default.
- W2810492748 hasRelatedWork W2912242669 @default.
- W2810492748 hasRelatedWork W2915077839 @default.
- W2810492748 hasVolume "13" @default.
- W2810492748 isParatext "false" @default.
- W2810492748 isRetracted "false" @default.
- W2810492748 magId "2810492748" @default.
- W2810492748 workType "article" @default.