Petri Networks Application during MEMS Design Process | IEEE Conference Publication | IEEE Xplore