@inproceedings{SEKE-1990-JeffreyM,
	author        = "John Jeffrey and Tadao Murata",
	booktitle     = "{Proceedings of the Second International Conference on Software Engineering and Knowledge Engineering}",
	pages         = "260--266",
	publisher     = "{Knowledge Systems Institute}",
	title         = "{A High-Level Petri Net for a Subset of FGHC}",
	year          = 1990,
}