Dependency analysis-a Petri-net-based technique for synthesizing large concurrent systems | IEEE Journals & Magazine | IEEE Xplore