FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2146757579> ?p ?o ?g. }

• W2146757579 abstract "The paper is organized as follows. Section 2 reviews the terminology of time Petri nets and the definitions of their state spaces. The classical state classes construction, preserving markings and LTL properties, is explained in section 3, and its properties discussed. Section 4 explains the richer strong state classes abstraction, that allows in addition to decide state reachability properties. Section 5 discusses preservation of branching properties and explains the atomic state classes construction. Finally, section 7 discusses a number of related issues and recent results, including extensions of these methods to handle enriched classes of time Petri nets." @default.
• W2146757579 created "2016-06-24" @default.
• W2146757579 creator A5005330030 @default.
• W2146757579 creator A5047901519 @default.
• W2146757579 creator A5089844587 @default.
• W2146757579 date "2008-05-01" @default.
• W2146757579 modified "2023-09-25" @default.
• W2146757579 title "Abstract State Spaces for Time Petri Nets Analysis" @default.
• W2146757579 cites W109253925 @default.
• W2146757579 cites W1483046907 @default.
• W2146757579 cites W1493169750 @default.
• W2146757579 cites W1511538751 @default.
• W2146757579 cites W1517759046 @default.
• W2146757579 cites W1521238949 @default.
• W2146757579 cites W1529059198 @default.
• W2146757579 cites W1536808451 @default.
• W2146757579 cites W1574289075 @default.
• W2146757579 cites W1593414957 @default.
• W2146757579 cites W1596935793 @default.
• W2146757579 cites W1841167015 @default.
• W2146757579 cites W1861370427 @default.
• W2146757579 cites W2000518871 @default.
• W2146757579 cites W2021391928 @default.
• W2146757579 cites W204986521 @default.
• W2146757579 cites W2070996046 @default.
• W2146757579 cites W2083567135 @default.
• W2146757579 cites W2091153352 @default.
• W2146757579 cites W2104883286 @default.
• W2146757579 cites W2132056455 @default.
• W2146757579 cites W2135235051 @default.
• W2146757579 cites W2151612633 @default.
• W2146757579 cites W2164409988 @default.
• W2146757579 cites W3187679378 @default.
• W2146757579 cites W61293757 @default.
• W2146757579 doi "https://doi.org/10.1109/isorc.2008.75" @default.
• W2146757579 hasPublicationYear "2008" @default.
• W2146757579 type Work @default.
• W2146757579 sameAs 2146757579 @default.
• W2146757579 citedByCount "5" @default.
• W2146757579 countsByYear W21467575792013 @default.
• W2146757579 countsByYear W21467575792016 @default.
• W2146757579 crossrefType "proceedings-article" @default.
• W2146757579 hasAuthorship W2146757579A5005330030 @default.
• W2146757579 hasAuthorship W2146757579A5047901519 @default.
• W2146757579 hasAuthorship W2146757579A5089844587 @default.
• W2146757579 hasConcept C105795698 @default.
• W2146757579 hasConcept C111472728 @default.
• W2146757579 hasConcept C111919701 @default.
• W2146757579 hasConcept C124304363 @default.
• W2146757579 hasConcept C136155141 @default.
• W2146757579 hasConcept C136643341 @default.
• W2146757579 hasConcept C138885662 @default.
• W2146757579 hasConcept C159985019 @default.
• W2146757579 hasConcept C192562407 @default.
• W2146757579 hasConcept C197551870 @default.
• W2146757579 hasConcept C199360897 @default.
• W2146757579 hasConcept C206175624 @default.
• W2146757579 hasConcept C2780129039 @default.
• W2146757579 hasConcept C33923547 @default.
• W2146757579 hasConcept C38677869 @default.
• W2146757579 hasConcept C41008148 @default.
• W2146757579 hasConcept C41895202 @default.
• W2146757579 hasConcept C48103436 @default.
• W2146757579 hasConcept C547195049 @default.
• W2146757579 hasConcept C72434380 @default.
• W2146757579 hasConcept C80444323 @default.
• W2146757579 hasConceptScore W2146757579C105795698 @default.
• W2146757579 hasConceptScore W2146757579C111472728 @default.
• W2146757579 hasConceptScore W2146757579C111919701 @default.
• W2146757579 hasConceptScore W2146757579C124304363 @default.
• W2146757579 hasConceptScore W2146757579C136155141 @default.
• W2146757579 hasConceptScore W2146757579C136643341 @default.
• W2146757579 hasConceptScore W2146757579C138885662 @default.
• W2146757579 hasConceptScore W2146757579C159985019 @default.
• W2146757579 hasConceptScore W2146757579C192562407 @default.
• W2146757579 hasConceptScore W2146757579C197551870 @default.
• W2146757579 hasConceptScore W2146757579C199360897 @default.
• W2146757579 hasConceptScore W2146757579C206175624 @default.
• W2146757579 hasConceptScore W2146757579C2780129039 @default.
• W2146757579 hasConceptScore W2146757579C33923547 @default.
• W2146757579 hasConceptScore W2146757579C38677869 @default.
• W2146757579 hasConceptScore W2146757579C41008148 @default.
• W2146757579 hasConceptScore W2146757579C41895202 @default.
• W2146757579 hasConceptScore W2146757579C48103436 @default.
• W2146757579 hasConceptScore W2146757579C547195049 @default.
• W2146757579 hasConceptScore W2146757579C72434380 @default.
• W2146757579 hasConceptScore W2146757579C80444323 @default.
• W2146757579 hasLocation W21467575791 @default.
• W2146757579 hasOpenAccess W2146757579 @default.
• W2146757579 hasPrimaryLocation W21467575791 @default.
• W2146757579 hasRelatedWork W138282622 @default.
• W2146757579 hasRelatedWork W1517759046 @default.
• W2146757579 hasRelatedWork W1577441161 @default.
• W2146757579 hasRelatedWork W2073745570 @default.
• W2146757579 hasRelatedWork W2121963021 @default.
• W2146757579 hasRelatedWork W2143998733 @default.
• W2146757579 hasRelatedWork W2146757579 @default.
• W2146757579 hasRelatedWork W2171468557 @default.
• W2146757579 hasRelatedWork W2499026813 @default.
• W2146757579 hasRelatedWork W2915794166 @default.

• next