For the most recent entries see the
Petri Nets Newsletter.
Formal Transducers: Models of Devices and Building Bricks for Highly Interactive Systems.
4th EUROGRAPHICS Workshop on Design, Specification and Verification of Interactive Systems, Granada, Spain, June 5-7, 1997, pages 124-139.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography