For the most recent entries see the Petri Nets Newsletter.

Hack, M.

Hack, M.:
Decidability Questions for Petri Nets. 1979.
Hack, M.:
The Equality Problem for Vector Addition Systems is Undecidable. 1976.
Hack, M.:
Net Topology. 1975.
Hack, M.:
Petri Net Languages. 1975.
Hack, M.:
Decidability Questions for Petri Nets. 1975.
Hack, M.:
Decision Problems for Petri Nets and Vector Addition Systems. 1975.
Hack, M.:
Extended State-Machine Allocatable Nets (ESMA), an Extension of Free Choice Petri Net Results. 1974.
Hack, M.:
The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems. 1974.
Hack, M.:
A Petri Net Version of Rabin's Undecidability Proof for Vector Addition Systems. 1973.
Hack, M.:
Analysis of Production Schemata by Petri Nets. 1972.

Do you need a refined search? Try our search engine which allows complex field-based queries.
Are you trying to get in contact with an author? Try our database of Petri net researchers.

Back to the Petri Nets Bibliography