Real-time software specification and validation with Transnet.

For the most recent entries see the Petri Nets Newsletter.

In: Real-Time Systems, Volume 6, Issue 2, pages 153-172. Kluwer Academic Publishers, March 1994.

Keywords: Petri net; early validation; net analysis; real-time; requirements specification.

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