file	type	description
abp.net	(PN model)	Alternating Bit Protocol
mutex.net	(PN model)	Two processes protected by a mutex
ifip.net	(PN model)	IFIP example taken from [Berthomieu83]
simple_1train.net	(PN model)	a Simple train + barrier example
mutex.scn	(SCN file)	scenario for the mutex example