In: Proceedings of the Int. Conf. on Comput. Lang., pages 258-265. New York: IEEE, 1988.
Abstract: The authors introduce a design specification method, extended modified Petri nets (EMPN), and its description language (EMPNDL). The specification is based on a stochastic Petri-net model and is suitable for modeling real-time distributed systems. The syntax of the language is formally described in BNF grammar while the semantics is based on that for stochastic Petric nets.