Matches in SemOpenAlex for { <https://semopenalex.org/work/W4383552015> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W4383552015 abstract "Some types of software systems, like event-based and non-deterministic ones, are usually specified as rules so that we can analyse the system behaviour by drawing inferences from firing the rules. However, when the fuzzy rules are used for the specification of non-deterministic behaviour and they contain a large number of variables, they constitute a complex form that is difficult to understand and infer. A solution is to visualise the system specification with the capability of automatic rule inference. In this study, by representing a high-level system specification, the authors visualise rule representation and firing using fuzzy coloured Petri-nets. Already, several fuzzy Petri-nets-based methods have been presented, but they either do not support a large number of rules and variables or do not consider significant cases like (a) the weight of the premise's propositions in the occurrence of the rule conclusion, (b) the weight of conclusion's proposition, (c) threshold values for premise and conclusion's propositions of the rule, and (d) the certainty factor (CF) for the rule or the conclusion's proposition. By considering cases (a)–(d), a wider variety of fuzzy rules are supported. The authors applied their model to the analysis of attacks against a part of a real secure water treatment system. In another real experiment, the authors applied the model to the two scenarios from their previous work and analysed the results." @default.
- W4383552015 created "2023-07-08" @default.
- W4383552015 creator A5032967106 @default.
- W4383552015 creator A5092423733 @default.
- W4383552015 date "2023-07-07" @default.
- W4383552015 modified "2023-09-25" @default.
- W4383552015 title "Fuzzy coloured petri nets‐based method to analyse and verify the functionality of software" @default.
- W4383552015 cites W1829951598 @default.
- W4383552015 cites W1976567794 @default.
- W4383552015 cites W1990949233 @default.
- W4383552015 cites W2006580488 @default.
- W4383552015 cites W2013932252 @default.
- W4383552015 cites W2014686033 @default.
- W4383552015 cites W2022069994 @default.
- W4383552015 cites W2031950024 @default.
- W4383552015 cites W2034677901 @default.
- W4383552015 cites W2041240839 @default.
- W4383552015 cites W2054475422 @default.
- W4383552015 cites W2104077967 @default.
- W4383552015 cites W2107651914 @default.
- W4383552015 cites W2115350339 @default.
- W4383552015 cites W2134234758 @default.
- W4383552015 cites W2145017920 @default.
- W4383552015 cites W2313407367 @default.
- W4383552015 cites W2462599231 @default.
- W4383552015 cites W2469016422 @default.
- W4383552015 cites W2753862205 @default.
- W4383552015 cites W2984103994 @default.
- W4383552015 cites W2988415857 @default.
- W4383552015 cites W3028908275 @default.
- W4383552015 cites W4205108290 @default.
- W4383552015 cites W4230223362 @default.
- W4383552015 doi "https://doi.org/10.1049/cit2.12251" @default.
- W4383552015 hasPublicationYear "2023" @default.
- W4383552015 type Work @default.
- W4383552015 citedByCount "0" @default.
- W4383552015 crossrefType "journal-article" @default.
- W4383552015 hasAuthorship W4383552015A5032967106 @default.
- W4383552015 hasAuthorship W4383552015A5092423733 @default.
- W4383552015 hasBestOaLocation W43835520151 @default.
- W4383552015 hasConcept C111472728 @default.
- W4383552015 hasConcept C124101348 @default.
- W4383552015 hasConcept C138885662 @default.
- W4383552015 hasConcept C154945302 @default.
- W4383552015 hasConcept C17744445 @default.
- W4383552015 hasConcept C199360897 @default.
- W4383552015 hasConcept C199539241 @default.
- W4383552015 hasConcept C2776214188 @default.
- W4383552015 hasConcept C2776359362 @default.
- W4383552015 hasConcept C2777152325 @default.
- W4383552015 hasConcept C2778023277 @default.
- W4383552015 hasConcept C38677869 @default.
- W4383552015 hasConcept C41008148 @default.
- W4383552015 hasConcept C41895202 @default.
- W4383552015 hasConcept C58166 @default.
- W4383552015 hasConcept C94625758 @default.
- W4383552015 hasConceptScore W4383552015C111472728 @default.
- W4383552015 hasConceptScore W4383552015C124101348 @default.
- W4383552015 hasConceptScore W4383552015C138885662 @default.
- W4383552015 hasConceptScore W4383552015C154945302 @default.
- W4383552015 hasConceptScore W4383552015C17744445 @default.
- W4383552015 hasConceptScore W4383552015C199360897 @default.
- W4383552015 hasConceptScore W4383552015C199539241 @default.
- W4383552015 hasConceptScore W4383552015C2776214188 @default.
- W4383552015 hasConceptScore W4383552015C2776359362 @default.
- W4383552015 hasConceptScore W4383552015C2777152325 @default.
- W4383552015 hasConceptScore W4383552015C2778023277 @default.
- W4383552015 hasConceptScore W4383552015C38677869 @default.
- W4383552015 hasConceptScore W4383552015C41008148 @default.
- W4383552015 hasConceptScore W4383552015C41895202 @default.
- W4383552015 hasConceptScore W4383552015C58166 @default.
- W4383552015 hasConceptScore W4383552015C94625758 @default.
- W4383552015 hasFunder F4320323435 @default.
- W4383552015 hasLocation W43835520151 @default.
- W4383552015 hasOpenAccess W4383552015 @default.
- W4383552015 hasPrimaryLocation W43835520151 @default.
- W4383552015 hasRelatedWork W2006522764 @default.
- W4383552015 hasRelatedWork W207673802 @default.
- W4383552015 hasRelatedWork W2123516498 @default.
- W4383552015 hasRelatedWork W2357614254 @default.
- W4383552015 hasRelatedWork W2388631242 @default.
- W4383552015 hasRelatedWork W2460093359 @default.
- W4383552015 hasRelatedWork W4214590508 @default.
- W4383552015 hasRelatedWork W4229888391 @default.
- W4383552015 hasRelatedWork W4245599380 @default.
- W4383552015 hasRelatedWork W4250042111 @default.
- W4383552015 isParatext "false" @default.
- W4383552015 isRetracted "false" @default.
- W4383552015 workType "article" @default.