For the most recent entries see the
Petri Nets Newsletter.
Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems.
IFIP TC13 Interact'97 Conference, Sydney, Australia, July 14-18, 1997, pages 155-162.
Chapman & Hall,
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography