Petri-net modeling of bio-signal networks | IEEE Conference Publication | IEEE Xplore