Hierarchical Petri nets use for MEMS modeling | IEEE Conference Publication | IEEE Xplore