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.
Back to the Petri Nets Bibliography