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

Full description

Saved in:

Bibliographic Details
Published in:	CAAI Transactions on Intelligence Technology Vol. 8; no. 3; pp. 863 - 879
Main Authors:	Chavoshi, Mina, Babamir, Seyed Morteza
Format:	Journal Article
Language:	English
Published:	Beijing John Wiley & Sons, Inc 01.09.2023 Wiley
Subjects:	Algebra Algorithms Complex variables Fault diagnosis fuzzy logic Fuzzy sets Fuzzy systems Humidity Knowledge representation Linguistics Petri nets Software software engineering Specifications verification Water treatment
ISSN:	2468-6557, 2468-2322
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!