In: IEEE Transactions on Software Engineering, Vol. SE-11, No. 10, pages 1216-1224. 1985.
Abstract: The author shows how timed Petri nets can be used to great advantage in describing and algebraically specifying communication system performance. The specification is borrowed from the recently reported AFFIRM language.
Back to the Petri Nets Bibliography