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 StateMachine 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 fieldbased queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography