For the most recent entries see the Petri Nets Newsletter.

A Specification Language for Real-time Distributed Systems.

Chang, C.K.; Jiang, T.M.; Aoyama, M.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography