$ loading_
将生产与排队系统的自然语言描述转换为 Petri 网模型并进行仿真导出。
该 MCP 工具未声明需要密钥或远程端点，且源码开源可审计，整体未见明显高风险红旗。主要注意点在于其具备本机代码执行能力，且社区采用度与维护状态信息较弱，建议在受限环境中使用。
材料明确写明“无”需要的密钥/环境变量，未见要求用户提供 API key、token 或其他敏感凭证，因此凭证暴露与滥用风险较低。
材料注明无远程端点 host，README 也未描述任何外部服务连接或数据上传行为；基于现有信息，未见明确的用户数据外发路径。
系统检查项已标注 executes-code，说明该工具具备在本机执行代码/进程的能力；这属于 MCP 工具的常规高权限特性，本身不构成红旗，但应在最小权限和隔离环境下运行。
描述提到可进行仿真并导出 PNML，通常意味着会在本地处理模型数据并可能写出文件；当前材料未显示其访问范围超出声明功能，但仍应留意其本地文件读写边界。
正面因素是开源且采用 MIT 许可证，源码可审计；但来源为 third_party_registry、社区采用仅 0 star、维护状态未知，信任信号有限，需自行审查仓库内容与依赖。
复制安装指令，让 AI 自动完成配置 · 推荐新手
"pns-server MCP Server" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
请将以下生产流程描述转换为 Petri 网模型：原料到达后进入检验，合格品进入装配，不合格品返工；装配完成后进入包装，最后出库。请给出模型结构并说明关键库所与变迁。
输出对应的 Petri 网结构说明，包含主要库所、变迁及流程关系。
请把这个排队系统转成 Petri 网并用于仿真：客户到达前台后进入等待队列，两个服务窗口并行处理，完成后离开；若队列已满则客户流失。请说明系统瓶颈。
输出排队系统的 Petri 网模型与仿真分析要点，如并行服务、队列容量和瓶颈位置。
请根据以下流程生成可导出的 Petri 网，并输出适合保存为 PNML 的结构：任务进入审批，审批通过后执行，失败则退回修改，修改后再次审批，执行完成后结束。
输出适合 PNML 导出的 Petri 网表示，便于后续在其他工具中加载与分析。
可模拟任意查询对应操作并跨会话保留状态，便于测试与自动化验证。