TY - RPRT TI - Abstract Processes of Place/Transition Systems AU - Rob van Glabbeek AU - Ursula Goltz AU - Jens-Wolfhard Schicke PY - 2011 DO - 10.1016/j.ipl.2011.03.013 UR - https://arxiv.org/abs/1103.5916 ID - 1103.5916 ER -