For the most recent entries see the Petri Nets Newsletter.

Testing Petri Nets for Mobile Robots Using Gröbner Bases.

Chandler, A.; Heyworth, A.; Blair, L.; Seward, D.

In: Pezzé, M.; Shatz, M.: DAIMI PB, No. 548: Workshop Proceedings Software Engineering and Petri Nets, pages 21-34. 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