Dependent shrink for Petri net models of signaling pathways. - Atsushi Mizuta; Qi-Wei Ge; Hiroshi Matsuno (BioPPN@Petri Nets, 2015)

Dependent Shrink of Transitions for Calculating Firing Frequencies in Signaling Pathway Petri Net Model. - Atsushi Mizuta; Qi-Wei Ge; Hiroshi Matsuno (Algorithms, 2017)