For the most recent entries see the Petri Nets Newsletter.

SEGRAS: A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types in the Specification of Distributed Systems.

Krämer, B.

In: Proc. of the 9th Int. Conf. on Software Engineering, pages 116-125. Washington: IEEE Computer Society Press, 1987.


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

Back to the Petri Nets Bibliography