FRINK Linked Data Fragments server

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

• W2966366255 endingPage "95" @default.
• W2966366255 startingPage "79" @default.
• W2966366255 abstract "We propose a new method for computing the language intersection of two Time Petri nets (TPN); that is the sequence of labels in timed traces common to the execution of two TPN. Our approach is based on a new product construction between nets and relies on the State Class construction, a widely used method for checking the behaviour of TPN. We prove that this new construct does not add additional expressive power, and yet that it can leads to very concise representation of the result. We have implemented our approach in a new tool, called Twina. We report on some experimental results obtained with this tool and show how to apply our approach on two interesting problems: first, to define an equivalent of the twin-plant diagnosability methods for TPN; then as a way to check timed properties without interfering with a system." @default.
• W2966366255 created "2019-08-13" @default.
• W2966366255 creator A5022722845 @default.
• W2966366255 creator A5041394319 @default.
• W2966366255 creator A5044034021 @default.
• W2966366255 creator A5049285364 @default.
• W2966366255 creator A5053551176 @default.
• W2966366255 date "2019-01-01" @default.
• W2966366255 modified "2023-09-30" @default.
• W2966366255 title "A State Class Construction for Computing the Intersection of Time Petri Nets Languages" @default.
• W2966366255 cites W1486828095 @default.
• W2966366255 cites W1511538751 @default.
• W2966366255 cites W1517759046 @default.
• W2966366255 cites W1526031273 @default.
• W2966366255 cites W1596935793 @default.
• W2966366255 cites W1841167015 @default.
• W2966366255 cites W1975120975 @default.
• W2966366255 cites W1985787415 @default.
• W2966366255 cites W1988808695 @default.
• W2966366255 cites W1989800577 @default.
• W2966366255 cites W1993883805 @default.
• W2966366255 cites W2000518871 @default.
• W2966366255 cites W2024286707 @default.
• W2966366255 cites W2043688699 @default.
• W2966366255 cites W2053982295 @default.
• W2966366255 cites W2059057465 @default.
• W2966366255 cites W2070996046 @default.
• W2966366255 cites W2099924351 @default.
• W2966366255 cites W2101508170 @default.
• W2966366255 cites W2114269468 @default.
• W2966366255 cites W2133038101 @default.
• W2966366255 cites W2147774669 @default.
• W2966366255 cites W2151612633 @default.
• W2966366255 cites W2461699348 @default.
• W2966366255 cites W2520059933 @default.
• W2966366255 cites W2562139824 @default.
• W2966366255 cites W4299612801 @default.
• W2966366255 doi "https://doi.org/10.1007/978-3-030-29662-9_5" @default.
• W2966366255 hasPublicationYear "2019" @default.
• W2966366255 type Work @default.
• W2966366255 sameAs 2966366255 @default.
• W2966366255 citedByCount "4" @default.
• W2966366255 countsByYear W29663662552020 @default.
• W2966366255 countsByYear W29663662552022 @default.
• W2966366255 crossrefType "book-chapter" @default.
• W2966366255 hasAuthorship W2966366255A5022722845 @default.
• W2966366255 hasAuthorship W2966366255A5041394319 @default.
• W2966366255 hasAuthorship W2966366255A5044034021 @default.
• W2966366255 hasAuthorship W2966366255A5049285364 @default.
• W2966366255 hasAuthorship W2966366255A5053551176 @default.
• W2966366255 hasBestOaLocation W29663662552 @default.
• W2966366255 hasConcept C127413603 @default.
• W2966366255 hasConcept C146978453 @default.
• W2966366255 hasConcept C154945302 @default.
• W2966366255 hasConcept C17744445 @default.
• W2966366255 hasConcept C195818886 @default.
• W2966366255 hasConcept C199360897 @default.
• W2966366255 hasConcept C199539241 @default.
• W2966366255 hasConcept C2776359362 @default.
• W2966366255 hasConcept C2777212361 @default.
• W2966366255 hasConcept C2778112365 @default.
• W2966366255 hasConcept C2780801425 @default.
• W2966366255 hasConcept C38677869 @default.
• W2966366255 hasConcept C41008148 @default.
• W2966366255 hasConcept C48103436 @default.
• W2966366255 hasConcept C54355233 @default.
• W2966366255 hasConcept C64543145 @default.
• W2966366255 hasConcept C80444323 @default.
• W2966366255 hasConcept C86803240 @default.
• W2966366255 hasConcept C94625758 @default.
• W2966366255 hasConceptScore W2966366255C127413603 @default.
• W2966366255 hasConceptScore W2966366255C146978453 @default.
• W2966366255 hasConceptScore W2966366255C154945302 @default.
• W2966366255 hasConceptScore W2966366255C17744445 @default.
• W2966366255 hasConceptScore W2966366255C195818886 @default.
• W2966366255 hasConceptScore W2966366255C199360897 @default.
• W2966366255 hasConceptScore W2966366255C199539241 @default.
• W2966366255 hasConceptScore W2966366255C2776359362 @default.
• W2966366255 hasConceptScore W2966366255C2777212361 @default.
• W2966366255 hasConceptScore W2966366255C2778112365 @default.
• W2966366255 hasConceptScore W2966366255C2780801425 @default.
• W2966366255 hasConceptScore W2966366255C38677869 @default.
• W2966366255 hasConceptScore W2966366255C41008148 @default.
• W2966366255 hasConceptScore W2966366255C48103436 @default.
• W2966366255 hasConceptScore W2966366255C54355233 @default.
• W2966366255 hasConceptScore W2966366255C64543145 @default.
• W2966366255 hasConceptScore W2966366255C80444323 @default.
• W2966366255 hasConceptScore W2966366255C86803240 @default.
• W2966366255 hasConceptScore W2966366255C94625758 @default.
• W2966366255 hasLocation W29663662551 @default.
• W2966366255 hasLocation W29663662552 @default.
• W2966366255 hasLocation W29663662553 @default.
• W2966366255 hasLocation W29663662554 @default.
• W2966366255 hasLocation W29663662555 @default.
• W2966366255 hasOpenAccess W2966366255 @default.
• W2966366255 hasPrimaryLocation W29663662551 @default.
• W2966366255 hasRelatedWork W1492717267 @default.
• W2966366255 hasRelatedWork W1998586093 @default.

• next