pns-server MCP Server

请将以下生产流程描述转换为 Petri 网模型：原料到达后进入检验，合格品进入装配，不合格品返工；装配完成后进入包装，最后出库。请给出模型结构并说明关键库所与变迁。

输出对应的 Petri 网结构说明，包含主要库所、变迁及流程关系。

请把这个排队系统转成 Petri 网并用于仿真：客户到达前台后进入等待队列，两个服务窗口并行处理，完成后离开；若队列已满则客户流失。请说明系统瓶颈。

输出排队系统的 Petri 网模型与仿真分析要点，如并行服务、队列容量和瓶颈位置。

请根据以下流程生成可导出的 Petri 网，并输出适合保存为 PNML 的结构：任务进入审批，审批通过后执行，失败则退回修改，修改后再次审批，执行完成后结束。

输出适合 PNML 导出的 Petri 网表示，便于后续在其他工具中加载与分析。