In: Proceedings of the second IEEE International Conference on Systems, Man and Cybernetics (SMC'02), October 6-9, 2002, Hammamet, Tunisia, Volume 3. IEEE Computer Society Press, October 2002.
Abstract: This paper deals with the scheduling of shared resources in cyclic problems. This scheduling problem is solved by transforming a Petri net with conflicts into a marked graph. Then the marked graph can be analysed thanks to the (min,+) dioid.
Back to the Petri Nets Bibliography