FRINK Linked Data Fragments server

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

• W2514904487 abstract "MARCIE is a Petri net analysis tool supporting qualitative and quantitative analyses including model checking facilities. Particular features are symbolic state space analysis including efficient saturation-based state space generation, evaluation of standard Petri net properties, and CTL model checking. Most of MARCIE’s features build on Interval Decision Diagrams (IDDs) to efficiently encode interval logic functions representing marking sets of bounded Petri nets. This allows the efficient support of qualitative state space based analysis techniques. Among others, MARCIE applies heuristics for the computation of static variable orders to obtain concise IDD representations. In this paper we focus on those aspects which are crucial for MARCIE’s regular success in the annual Model Checking Contest of the Petri net community." @default.
• W2514904487 created "2016-09-16" @default.
• W2514904487 creator A5002026696 @default.
• W2514904487 creator A5026153306 @default.
• W2514904487 creator A5050644778 @default.
• W2514904487 creator A5065995339 @default.
• W2514904487 date "2016-01-01" @default.
• W2514904487 modified "2023-10-03" @default.
• W2514904487 title "MARCIE’s Secrets of Efficient Model Checking" @default.
• W2514904487 cites W105010535 @default.
• W2514904487 cites W1533938257 @default.
• W2514904487 cites W1985859852 @default.
• W2514904487 cites W2068705025 @default.
• W2514904487 cites W2098590705 @default.
• W2514904487 cites W2117189826 @default.
• W2514904487 cites W2125548279 @default.
• W2514904487 cites W2135453964 @default.
• W2514904487 cites W2166483698 @default.
• W2514904487 cites W2178536058 @default.
• W2514904487 cites W24235440 @default.
• W2514904487 cites W310593909 @default.
• W2514904487 cites W4229537527 @default.
• W2514904487 doi "https://doi.org/10.1007/978-3-662-53401-4_14" @default.
• W2514904487 hasPublicationYear "2016" @default.
• W2514904487 type Work @default.
• W2514904487 sameAs 2514904487 @default.
• W2514904487 citedByCount "8" @default.
• W2514904487 countsByYear W25149044872017 @default.
• W2514904487 countsByYear W25149044872018 @default.
• W2514904487 countsByYear W25149044872019 @default.
• W2514904487 countsByYear W25149044872020 @default.
• W2514904487 countsByYear W25149044872021 @default.
• W2514904487 countsByYear W25149044872022 @default.
• W2514904487 crossrefType "book-chapter" @default.
• W2514904487 hasAuthorship W2514904487A5002026696 @default.
• W2514904487 hasAuthorship W2514904487A5026153306 @default.
• W2514904487 hasAuthorship W2514904487A5050644778 @default.
• W2514904487 hasAuthorship W2514904487A5065995339 @default.
• W2514904487 hasConcept C105795698 @default.
• W2514904487 hasConcept C110251889 @default.
• W2514904487 hasConcept C111919701 @default.
• W2514904487 hasConcept C114614502 @default.
• W2514904487 hasConcept C120665830 @default.
• W2514904487 hasConcept C121332964 @default.
• W2514904487 hasConcept C127705205 @default.
• W2514904487 hasConcept C134306372 @default.
• W2514904487 hasConcept C136155141 @default.
• W2514904487 hasConcept C192209626 @default.
• W2514904487 hasConcept C197551870 @default.
• W2514904487 hasConcept C199360897 @default.
• W2514904487 hasConcept C2778067643 @default.
• W2514904487 hasConcept C33923547 @default.
• W2514904487 hasConcept C34388435 @default.
• W2514904487 hasConcept C38677869 @default.
• W2514904487 hasConcept C41008148 @default.
• W2514904487 hasConcept C48103436 @default.
• W2514904487 hasConcept C72434380 @default.
• W2514904487 hasConcept C80444323 @default.
• W2514904487 hasConceptScore W2514904487C105795698 @default.
• W2514904487 hasConceptScore W2514904487C110251889 @default.
• W2514904487 hasConceptScore W2514904487C111919701 @default.
• W2514904487 hasConceptScore W2514904487C114614502 @default.
• W2514904487 hasConceptScore W2514904487C120665830 @default.
• W2514904487 hasConceptScore W2514904487C121332964 @default.
• W2514904487 hasConceptScore W2514904487C127705205 @default.
• W2514904487 hasConceptScore W2514904487C134306372 @default.
• W2514904487 hasConceptScore W2514904487C136155141 @default.
• W2514904487 hasConceptScore W2514904487C192209626 @default.
• W2514904487 hasConceptScore W2514904487C197551870 @default.
• W2514904487 hasConceptScore W2514904487C199360897 @default.
• W2514904487 hasConceptScore W2514904487C2778067643 @default.
• W2514904487 hasConceptScore W2514904487C33923547 @default.
• W2514904487 hasConceptScore W2514904487C34388435 @default.
• W2514904487 hasConceptScore W2514904487C38677869 @default.
• W2514904487 hasConceptScore W2514904487C41008148 @default.
• W2514904487 hasConceptScore W2514904487C48103436 @default.
• W2514904487 hasConceptScore W2514904487C72434380 @default.
• W2514904487 hasConceptScore W2514904487C80444323 @default.
• W2514904487 hasLocation W25149044871 @default.
• W2514904487 hasOpenAccess W2514904487 @default.
• W2514904487 hasPrimaryLocation W25149044871 @default.
• W2514904487 hasRelatedWork W1533938257 @default.
• W2514904487 hasRelatedWork W1626572155 @default.
• W2514904487 hasRelatedWork W1666176304 @default.
• W2514904487 hasRelatedWork W1985071975 @default.
• W2514904487 hasRelatedWork W2029789838 @default.
• W2514904487 hasRelatedWork W2040306784 @default.
• W2514904487 hasRelatedWork W2073745570 @default.
• W2514904487 hasRelatedWork W2103390669 @default.
• W2514904487 hasRelatedWork W2146329627 @default.
• W2514904487 hasRelatedWork W2159748940 @default.
• W2514904487 hasRelatedWork W2170020397 @default.
• W2514904487 hasRelatedWork W2178536058 @default.
• W2514904487 hasRelatedWork W2359796614 @default.
• W2514904487 hasRelatedWork W24235440 @default.
• W2514904487 hasRelatedWork W2752976193 @default.
• W2514904487 hasRelatedWork W2911619070 @default.
• W2514904487 hasRelatedWork W3170262536 @default.
• W2514904487 hasRelatedWork W3202260234 @default.
• W2514904487 hasRelatedWork W3202282633 @default.

• next