For the most recent entries see the Petri Nets Newsletter.

Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets.

Burns, A.; Wellings, A.J.; Burns, F.; Koelmans, A.M.; Koutny, M.; Romanovsky, A.; Yakovlev, A.

In: Pezzé, M.; Shatz, M.: DAIMI PB, No. 548: Workshop Proceedings Software Engineering and Petri Nets, pages 115-134. University of Aarhus, Department of Computer Science, June 2000.


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

Back to the Petri Nets Bibliography