In: IFIP Workshop on Experience with the Management of Software Projects / Elzer, P.: Proc. of the IFAC, pages 43-50. Oxford: Pergamon Press, 1987.
Abstract: This report deals with the experience in the development of realtime-software for fully automatic rail-to-rail carge transfer. The whole software-lifecycle beginning with the requirements determination until verification and maintenance was taken into software requirements and the links to the surrounding systems Petri-Nets have shown to be useful.
Back to the Petri Nets Bibliography