@book{6411,
	author = {Jensen, K. and International Conference on Application and Theory of Petri Nets and Jensen, K.},
	title = {Application and theory of petri nets 1992 :},
	publisher = {Springer-Verlag,},
	year = {1992},
	address = {Berlin :}
}