“…All of these test cases can be found at this URL 8 , where the reader can find the graphical models created with MEdit4CEP-BPCPN, and the BPCPNs and PCPNs obtained for them with the test scenarios. As an illustration, we describe Test cases 1, 2 and 11, with the input 8. http://dx.doi.org/10.17632/scrjyndpv6.1 (1,15,1,pA({ma=23,tm=1}))++ 1` (2,15,1,pA({ma=55,tm=1}))++ 1` (3,17,1,pC({mc=0,tm=1}))++ 1`(4,16,2,pB({mb=25,tm=2}))++ 1`(5,15,2,pA({ma=50,tm=2}))++ 1`(6,17,3,pC({mc=5,tm=3}))++ 1`(7,16,3,pB({mb=12,tm=3}))++ 1`(8,17,4,pC({mc=10,tm=4}))++ 1`(9,15,4,pA({ma=0,tm=4}))++ 1`(10,16,5,pB({mb=1,tm=5}))++ 1` (11,16,6,pB({mb=5,tm=6}))++ 1`(12,15,7,pA({ma=15,tm=7}))++ 1`(13,17,7,pC({mc=8,tm=7})) Fig. 17.…”