TY - RPRT TI - On Generating *-Sound Nets with Substitution AU - Jacek Sroka AU - Jan Hidders PY - 2013 UR - https://arxiv.org/abs/1208.2654 ID - 1208.2654 ER -