Products of Transition Systems and Additions of Petri Nets | IEEE Conference Publication | IEEE Xplore