Summary
International Technical Conference on Circuits/Systems, Computers and Communications
2016
Session Number:T1-3
Session:
Number:4447
Modeling and Analysing Boolean Networks by Coloured Petri Nets
Giang Van Trinh, Hiraishi Kunihiko, Tho Thanh Quan ,
pp.439-442
Publication Date:2016/7/10
Online ISSN:2188-5079
DOI:10.34385/proc.61.4447
PDF download (1.3MB)
Summary:
We propose a new method for modeling and analysing Boolean networks based on Coloured Petri nets. All synchronous, asynchronous, and probabilistic dynamics are expressed in the proposed method. We demonstrate the advantage of our approach in the issue of attractor detection, which is an important long-term behaviour of Boolean networks.