用途：petrinaut 用于按 Automerge URL 读取和写入随机动态着色 Petri 网（SDCPN）文档，适用于创建、编辑、查询 Petri 网，例如增删库所、变迁、弧、颜色类型、微分方程和全局参数。
主要能力：顶层 API 提供 createPetriNet(title?) 新建空文档并返回 { handle, url }，以及 getPetriNet(url) 获取已有文档的读写接口。Petri 网对象支持同步读取 getPlaces、getTransitions、getArcs、getColors、getDifferentialEquations、getParameters、getTitle；写入支持 addPlace、addTransition、addArc、addColor、addDifferentialEquation、addParameter、setTitle、removeItems 和 modifyNetElements。
使用方式：先创建或获取文档，再调用各方法增删元素。addTransition 要求传入 inputArcs 和 outputArcs（无则传 []）。addArc 按方向区分 place_to_transition 和 transition_to_place，并可通过名称或 ID 解析库所与变迁。removeItems 为级联删除：删除库所会同时删掉相关弧，删除颜色类型会清空引用它的库所的 colorId，删除微分方程会清空引用它的库所的 differentialEquationId。modifyNetElements 支持在单次事务中批量增删，先执行删除再执行添加，新增弧可引用同一批次中按名称创建的库所/变迁。
限制与说明：文档未提供收费、价格或平台信息。弧 ID 格式为 $A_<sourceId>___<targetId>，位置 x、y 省略时默认 100。所有读写方法均为同步并原地修改 Automerge 文档。lambdaCode、transitionKernelCode、微分方程代码等具体函数体需由使用者编写，文档仅说明其入参含义。