Petri nets and large sets (1984)

by K McAloon
Venue:Theoretical Computer Science