For the most recent entries see the Petri Nets Newsletter.

Keyword: z

Sherif, Adnan; Sampaio, Augusto; Cavalcante, Sérgio:
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets. 2003.
Heiner, M.; Heisel, M.:
Modeling safety-critical systems with Z and Petri nets. 1999.
He, Xudong:
PZ Nets - A Formal Method integrating Petri Nets with Z. 1995.

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

Back to the Petri Nets Bibliography