Verifying time petri nets by linear programming.

For the most recent entries see the Petri Nets Newsletter.

In: Journal of Computer Science and Technology, Volume 16, Issue 1, pages 39-46. Editorial Universitaria de Buenos Aires, January 2001.

Keywords: linear programming; model-checking; real-time system; time Petri net.

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