@thesis{Yeh2025,
	type = "Master's thesis",
	author = "Ping-Ching Yeh",
	title = "{From Modeling to Verification: Translating SysMLv2 to PNML-Compliant Petri Nets}",
	year = 2025,
	month = aug,
	school = "{Universiteit Twente}",
	address = "Enschede, The Netherlands",
	url = "http://purl.utwente.nl/essays/108515",
}