Modeling FMS through PN: the modular structural synthesis | IEEE Conference Publication | IEEE Xplore