Traps, Free Choice and Home States (Extended Abstract).

For the most recent entries see the Petri Nets Newsletter.

Traps, Free Choice and Home States (Extended Abstract).

Best, Eike; Cherkasova, Ludmila; Desel, Jörg; Esparza, Javier

In: Kwiatkowska, M. Z.; et al.: Semantics for Concurrency. Proceedings of the International BCS-FACS Workshop, 1990, Leicester, UK, pages 16-21. London, UK: Springer (Series: Workshops in computing), 1990.

Keywords: trap; free choice; home state; semantics (for) concurrency.

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

Back to the Petri Nets Bibliography