Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065854486> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2065854486 abstract "Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-pre-serving translation of OPNs to Prolog by encoding the OPN semantics, avoiding the need for an unfolding to a flat Petri net. The translation provides support for reference and value semantics, and even allows different objects to be treated as copyable or non-copyable. The method is developed for OPNs with arbitrary nesting. We then apply logic programming tools to animate, compile and model check OPNs. In particular, we use the partial evaluation system logen to produce an OPN compiler, and we use the model checker xtl to verify CTL formulae. We also use logen to produce special purpose model checkers. We present two case studies, along with experimental results. A comparison of OPN translations to Maude specifications and model checking is given, showing that our approach is roughly twice as fast for larger systems. We also tackle infinite state model checking using the ecce system." @default.
- W2065854486 created "2016-06-24" @default.
- W2065854486 creator A5011186381 @default.
- W2065854486 creator A5058847017 @default.
- W2065854486 date "2004-08-24" @default.
- W2065854486 modified "2023-10-17" @default.
- W2065854486 title "Model checking object petri nets in prolog" @default.
- W2065854486 cites W1544621933 @default.
- W2065854486 cites W1570743953 @default.
- W2065854486 cites W2016420980 @default.
- W2065854486 cites W2037317228 @default.
- W2065854486 cites W2052423355 @default.
- W2065854486 cites W2085609918 @default.
- W2065854486 cites W2106001218 @default.
- W2065854486 cites W2137818097 @default.
- W2065854486 cites W4231029568 @default.
- W2065854486 doi "https://doi.org/10.1145/1013963.1013970" @default.
- W2065854486 hasPublicationYear "2004" @default.
- W2065854486 type Work @default.
- W2065854486 sameAs 2065854486 @default.
- W2065854486 citedByCount "22" @default.
- W2065854486 countsByYear W20658544862012 @default.
- W2065854486 countsByYear W20658544862013 @default.
- W2065854486 countsByYear W20658544862014 @default.
- W2065854486 countsByYear W20658544862016 @default.
- W2065854486 countsByYear W20658544862020 @default.
- W2065854486 crossrefType "proceedings-article" @default.
- W2065854486 hasAuthorship W2065854486A5011186381 @default.
- W2065854486 hasAuthorship W2065854486A5058847017 @default.
- W2065854486 hasBestOaLocation W20658544862 @default.
- W2065854486 hasConcept C115903868 @default.
- W2065854486 hasConcept C136155141 @default.
- W2065854486 hasConcept C154945302 @default.
- W2065854486 hasConcept C199360897 @default.
- W2065854486 hasConcept C2781238097 @default.
- W2065854486 hasConcept C38677869 @default.
- W2065854486 hasConcept C41008148 @default.
- W2065854486 hasConcept C81721847 @default.
- W2065854486 hasConceptScore W2065854486C115903868 @default.
- W2065854486 hasConceptScore W2065854486C136155141 @default.
- W2065854486 hasConceptScore W2065854486C154945302 @default.
- W2065854486 hasConceptScore W2065854486C199360897 @default.
- W2065854486 hasConceptScore W2065854486C2781238097 @default.
- W2065854486 hasConceptScore W2065854486C38677869 @default.
- W2065854486 hasConceptScore W2065854486C41008148 @default.
- W2065854486 hasConceptScore W2065854486C81721847 @default.
- W2065854486 hasLocation W20658544861 @default.
- W2065854486 hasLocation W20658544862 @default.
- W2065854486 hasOpenAccess W2065854486 @default.
- W2065854486 hasPrimaryLocation W20658544861 @default.
- W2065854486 hasRelatedWork W1484781210 @default.
- W2065854486 hasRelatedWork W1548535723 @default.
- W2065854486 hasRelatedWork W1608659702 @default.
- W2065854486 hasRelatedWork W2018396715 @default.
- W2065854486 hasRelatedWork W2065854486 @default.
- W2065854486 hasRelatedWork W2088007073 @default.
- W2065854486 hasRelatedWork W2101052162 @default.
- W2065854486 hasRelatedWork W2112962394 @default.
- W2065854486 hasRelatedWork W2473250120 @default.
- W2065854486 hasRelatedWork W2573115399 @default.
- W2065854486 isParatext "false" @default.
- W2065854486 isRetracted "false" @default.
- W2065854486 magId "2065854486" @default.
- W2065854486 workType "article" @default.