Young Chan Kim Tag Gon Kim Petri nets modeling and analysis using extended bag-theoretic relational algebra. 599-605 1996 26 IEEE Trans. Syst. Man Cybern. Part B 4 https://doi.org/10.1109/3477.517034 https://www.wikidata.org/entity/Q45325224 db/journals/tsmc/tsmcb26.html#KimK96