For the most recent entries see the Petri Nets Newsletter.

Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic.

Uchihira, N.; Honiden, S.

ICOT Technical Memorandum 0900, pages 1-8 pp.. Tokyo, Japan: Institute for New Generation Computer Technology, 1990.

Keywords: concurrent program, verification (and) synthesis; temporal logic.

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

Back to the Petri Nets Bibliography