A model-based software engineering of parallel and distributed systems using Petri nets | IEEE Conference Publication | IEEE Xplore