For the most recent entries see the
Petri Nets Newsletter.
Petri Net Models for the Description and Verification of Parallel Bus Protocols.
Civera, P.;
Conte, G.;
Del Corso, D.;
Maddaleno, F.
In:
Barbacci, M.; Koomen, G.J.: Proc. of the IFIP 8th Int. Conf. on Computer Hardware Description Languages and their Applications, Amsterdam, pages 309-326.
Participants Edition,
1987.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography