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.