A synthesis approach to Petri nets with combined place marking and transition firing constraint | IEEE Conference Publication | IEEE Xplore