PHP exec（） - 设置执行时间限制？

Question

我使用PHP exec()函数在windows env。

上进行系统调用

现在，我想确保如果我打电话，它就不会永远继续下去。我想在$x秒后杀死进程。例如：

exec('2.exe');

如果2.exe运行超过15秒，请执行2.exe。

如何使用PHP执行此操作？