Fuzzy coloured petri nets‐based method to analyse and verify the functionality of software

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 co...

Celý popis