For the most recent entries see the
Petri Nets Newsletter.
Specification and Validation of Sequential Processes Communicating by FIFO Channels.
Martin, R.;
Memmi, G.
In:
4th Int. Conf. on Software Engineering for Telecommunication Switching Systems, Warwick, pages 54-57.
IEE,
1981.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography