//-->
A Petri net-based decomposition approach in modelling of manufacturing systems.
Teng, S.-H., (1993)
A PSPACE-complete Sperner Triangle game
Burke, Kyle W., (2007)