In: Proceedings of the second IEEE International Conference on Systems, Man and Cybernetics (SMC'02), October 6-9, 2002, Hammamet, Tunisia, Volume 6. IEEE Computer Society Press, October 2002.
Abstract: The shortest firing sequence from one to another reachable marking is derived for a new class of nets called synchronized choice nets (SNC).