libpetri 5.1.0 → 6.0.0

package/dist/debug/index.d.ts

@@ -1,6 +1,6 @@
 import { Writable } from 'node:stream';
-import { P as PetriNet, b as Transition, T as Token } from '../petri-net-6G5r1Wwb.js';
-import { E as EventStore, N as NetEvent } from '../event-store-CUyHiIH7.js';
+import { P as PetriNet, b as Transition, T as Token } from '../petri-net-34SkD5RT.js';
+import { E as EventStore, N as NetEvent } from '../event-store-D6i4u41W.js';
 
 /**
  * Commands sent from debug UI client to server via WebSocket.

package/dist/debug/index.js

@@ -1,6 +1,6 @@
 import {
   eventInstancePrefix
-} from "../chunk-SXK2Z45Z.js";
+} from "../chunk-H2KAMPGN.js";
 import {
   dotExport,
   instancePrefixOf,

package/dist/doclet/index.d.ts

@@ -1,5 +1,5 @@
 import { Application } from 'typedoc';
-import { P as PetriNet, S as SubnetDef, o as Instance } from '../petri-net-6G5r1Wwb.js';
+import { P as PetriNet, S as SubnetDef, o as Instance } from '../petri-net-34SkD5RT.js';
 
 /**
  * TypeDoc plugin for `@petrinet` and `@subnet` tags — auto-generates

package/dist/doclet/resources/petrinet-diagrams.js

@@ -6354,7 +6354,7 @@ textContent??"").replace(/^cluster_/,"");Mn.classList.toggle("is-hidden",!N.has(
 en",!bn.has(v))}if(!Q)for(let Mn of Array.from(P.querySelectorAll("g.node.petri-replica")))Mn.classList.add("is-hidden");let Sn=new Map;for(let Mn of Array.from(P.querySelectorAll("g.node"))){let v=Mn.getAttribute("data-id");v&&Sn.set(v,Mn)}for(let Mn of Array.from(P.querySelectorAll("g.edge"))){let v=Mn.getAttribute("data-src")??"",Vn=Mn.getAttribute("data-dst")??"",te=Sn.get(v)?.classList.contains(
 "is-hidden")??!1,pe=Sn.get(Vn)?.classList.contains("is-hidden")??!1;Mn.classList.toggle("is-hidden",te||pe)}}var Pfe=["--lpv-bg","--lpv-header-bg","--lpv-border","--lpv-text","--lpv-muted","--lpv-cluster-bg","--lpv-cluster-bg-collapsed","--lpv-cluster-stroke-width","--lpv-cluster-stroke-dash","--lpv-cluster-fill-tint","--lpv-dim-opacity","--lpv-active-filter-outline","--lpv-legend-bg","--lpv-chip-bg","--lpv-chip-active-bg","--lpv-sidebar-bg","--lpv-sidebar-border","--lpv-sidebar-text","--lpv-sidebar-mute\
 d","--lpv-sidebar-chip-bg","--lpv-sidebar-chip-hover-bg","--lpv-sidebar-chip-off-opacity","--lpv-shared-glyph-color","--lpv-replica-fill","--lpv-replica-stroke","--lpv-highlight-stroke","--lpv-highlight-glow","--lpv-neighbor-stroke","--lpv-faded-node-opacity","--lpv-faded-edge-opacity","--lpv-faded-cluster-opacity"];var XPe=/^\s*subgraph\s+cluster_[A-Za-z0-9_]+\s*\{\s*$/,KPe=/^\s*\}\s*$/;function Cfe(P){let O=P.split("\n"),N=[],Q=0;for(let bn of O){if(XPe.test(bn)){Q++;continue}if(Q>0){if(KPe.test(bn)){Q--;continue}(bn.includes("[")||bn.includes("->"))&&N.push(_fe(bn));continue}if(bn.includes("->")&&(bn.includes("ltail=")||bn.includes("lhead="))){N.push(_fe(bn));continue}N.push(bn)}return N.join("\n")}function _fe(P){
-return P.replace(/,\s*ltail="cluster_[^"]*"/g,"").replace(/,\s*lhead="cluster_[^"]*"/g,"").replace(/\[\s*ltail="cluster_[^"]*"\s*,\s*/g,"[").replace(/\[\s*lhead="cluster_[^"]*"\s*,\s*/g,"[").replace(/\[\s*ltail="cluster_[^"]*"\s*\]/g,"[]").replace(/\[\s*lhead="cluster_[^"]*"\s*\]/g,"[]")}var Ofe="5.1.0";async function ale(P,O,N={}){let Q=N.previousHandle??null,bn=Q?new Set(Q.collapsedPrefixes):new Set,Sn=Q?.activeFilter??null,Mn=N.subnets??Q?.subnets??"show";Q&&Q.dispose();let v=await Promise.resolve().then(()=>(lle(),fle)),Vn=(N.layout??"elk")==="elk",te=Mn==="hide"?Cfe(P):P,pe={clusterLayout:N.clusterLayout,leafPacking:N.leafPacking},Fe=Vn?await v.renderDotToSvgWithElkLayout(te,pe):await v.renderDotToSvg(
+return P.replace(/,\s*ltail="cluster_[^"]*"/g,"").replace(/,\s*lhead="cluster_[^"]*"/g,"").replace(/\[\s*ltail="cluster_[^"]*"\s*,\s*/g,"[").replace(/\[\s*lhead="cluster_[^"]*"\s*,\s*/g,"[").replace(/\[\s*ltail="cluster_[^"]*"\s*\]/g,"[]").replace(/\[\s*lhead="cluster_[^"]*"\s*\]/g,"[]")}var Ofe="6.0.0";async function ale(P,O,N={}){let Q=N.previousHandle??null,bn=Q?new Set(Q.collapsedPrefixes):new Set,Sn=Q?.activeFilter??null,Mn=N.subnets??Q?.subnets??"show";Q&&Q.dispose();let v=await Promise.resolve().then(()=>(lle(),fle)),Vn=(N.layout??"elk")==="elk",te=Mn==="hide"?Cfe(P):P,pe={clusterLayout:N.clusterLayout,leafPacking:N.leafPacking},Fe=Vn?await v.renderDotToSvgWithElkLayout(te,pe):await v.renderDotToSvg(
 te);O.innerHTML="",O.appendChild(Fe),O.classList.add("libpetri-viewer");let ft=mfe(Fe,N.panzoom),gt=X0n(Fe);Ffe(gt);let $t=N.layout??"elk";$t==="elk"&&(xfe(Fe),vX(Fe));let $e=new Set,dt=null,Ie=null,Ct=!1,We=null,Pn=null,Bt=!0;function It(){if(!N.chrome||We&&We.parentNode===O)return;We=document.createElement("div"),We.className="libpetri-viewer-chrome",We.style.position="absolute",We.style.inset="\
 0",We.style.pointerEvents="none";let Rt=document.createElement("div");Rt.className="diagram-controls",Rt.style.pointerEvents="auto";let or=document.createElement("button");or.type="button",or.className="diagram-btn btn-reset",or.title="Reset view",or.textContent="Reset",or.addEventListener("click",()=>Ir.fit());let ui=document.createElement("button");ui.type="button",ui.className="diagram-btn btn-\
 fullscreen",ui.title="Toggle fullscreen",ui.textContent="Fullscreen",ui.addEventListener("click",()=>Yr(O,ui));let wr=document.createElement("button");wr.type="button",wr.className="diagram-btn btn-subnets",wr.title=Mn==="show"?"Hide subnet groupings":"Show subnet groupings",wr.textContent=Mn==="show"?"Flat view":"Subnets view",wr.addEventListener("click",()=>{Ir.toggleSubnets()}),Rt.appendChild(wr),

package/dist/{event-store-CUyHiIH7.d.ts → event-store-D6i4u41W.d.ts}

@@ -1,4 +1,4 @@
-import { T as Token } from './petri-net-6G5r1Wwb.js';
+import { T as Token } from './petri-net-34SkD5RT.js';
 
 /**
  * Events emitted during Petri Net execution.
@@ -23,6 +23,12 @@ interface TransitionEnabled {
     readonly timestamp: number;
     readonly transitionName: string;
 }
+/**
+ * A transition's clock restarted while it stayed marked enabled: another firing took tokens
+ * it needed and its places were refilled before the executor re-evaluated it (TIME-012).
+ * This executor re-evaluates between a firing and its deposit, so it reports such a restart
+ * as `transition-enabled`.
+ */
 interface TransitionClockRestarted {
     readonly type: 'transition-clock-restarted';
     readonly timestamp: number;

package/dist/export/index.d.ts

@@ -1,4 +1,4 @@
-import { P as PetriNet } from '../petri-net-6G5r1Wwb.js';
+import { P as PetriNet } from '../petri-net-34SkD5RT.js';
 
 /**
  * Format-agnostic typed graph model.

package/dist/index.d.ts

@@ -1,7 +1,7 @@
-import { P as PetriNet, S as SubnetDef, a as Place, T as Token, b as Transition, E as EnvironmentPlace, c as TransitionContext, O as Out } from './petri-net-6G5r1Wwb.js';
-export { A as Arc, d as ArcInhibitor, e as ArcInput, f as ArcOutput, g as ArcRead, h as ArcReset, C as Channel, i as ComposeBindings, F as FusionSet, j as FusionSetBuilder, I as In, k as InAll, l as InAtLeast, m as InExactly, n as InOne, o as Instance, p as Interface, q as InterfaceBuilder, K as KeyFn, L as LogFn, M as MAX_DURATION_MS, r as MatchKey, s as MatchSpec, N as NameId, t as OutAnd, u as OutForwardInput, v as OutPlace, w as OutTimeout, x as OutXor, y as OutputEntry, z as PetriNetBuilder, B as Port, D as PortDirection, G as SubnetDefBuilder, H as SubnetInstance, J as Timing, Q as TimingDeadline, R as TimingDelayed, U as TimingExact, V as TimingImmediate, W as TimingWindow, X as TokenInput, Y as TokenOutput, Z as TransitionAction, _ as TransitionBuilder, $ as VerificationHarness, a0 as VerificationResult, a1 as all, a2 as allPlaces, a3 as and, a4 as andPlaces, a5 as arcPlace, a6 as atLeast, a7 as consumptionCount, a8 as deadline, a9 as delayed, aa as earliest, ab as enumerateBranches, ac as environmentPlace, ad as exact, ae as exactly, af as fork, ag as forwardInput, ah as hasDeadline, ai as immediate, aj as inhibitorArc, ak as inputArc, al as isPassthrough, am as isUnit, an as keyForPlace, ao as latest, ap as matchCorrelates, aq as matchKey, ar as matchSpec, as as nameId, at as one, au as outPlace, av as outputArc, aw as passthrough, ax as place, ay as produce, az as readArc, aA as requiredCount, aB as resetArc, aC as timeout, aD as timeoutPlace, aE as tokenAt, aF as tokenOf, aG as transform, aH as transformAsync, aI as transformFrom, aJ as unitToken, aK as window, aL as withTimeout, aM as xor, aN as xorPlaces } from './petri-net-6G5r1Wwb.js';
-import { E as EventStore } from './event-store-CUyHiIH7.js';
-export { A as ActionTimedOut, a as ExecutionCompleted, b as ExecutionStarted, I as InMemoryEventStore, L as LogMessage, M as MarkingSnapshot, N as NetEvent, T as TokenAdded, c as TokenRemoved, d as TransitionClockRestarted, e as TransitionCompleted, f as TransitionEnabled, g as TransitionFailed, h as TransitionStarted, i as TransitionTimedOut, j as eventTransitionName, k as eventsOfType, l as failures, m as filterEvents, n as inMemoryEventStore, o as isFailureEvent, p as noopEventStore, t as transitionEvents } from './event-store-CUyHiIH7.js';
+import { P as PetriNet, S as SubnetDef, a as Place, T as Token, b as Transition, E as EnvironmentPlace, c as TransitionContext, O as Out } from './petri-net-34SkD5RT.js';
+export { A as Arc, d as ArcInhibitor, e as ArcInput, f as ArcOutput, g as ArcRead, h as ArcReset, C as Channel, i as ComposeBindings, F as FusionSet, j as FusionSetBuilder, I as In, k as InAll, l as InAtLeast, m as InExactly, n as InOne, o as Instance, p as Interface, q as InterfaceBuilder, K as KeyFn, L as LogFn, M as MAX_DURATION_MS, r as MatchKey, s as MatchSpec, N as NameId, t as OutAnd, u as OutForwardInput, v as OutPlace, w as OutTimeout, x as OutXor, y as OutputEntry, z as PetriNetBuilder, B as Port, D as PortDirection, G as SubnetDefBuilder, H as SubnetInstance, J as Timing, Q as TimingDeadline, R as TimingDelayed, U as TimingExact, V as TimingImmediate, W as TimingWindow, X as TokenInput, Y as TokenOutput, Z as TransitionAction, _ as TransitionBuilder, $ as VerificationHarness, a0 as VerificationResult, a1 as all, a2 as allPlaces, a3 as and, a4 as andPlaces, a5 as arcPlace, a6 as atLeast, a7 as consumptionCount, a8 as deadline, a9 as delayed, aa as earliest, ab as enumerateBranches, ac as environmentPlace, ad as exact, ae as exactly, af as fork, ag as forwardInput, ah as hasDeadline, ai as immediate, aj as inhibitorArc, ak as inputArc, al as isPassthrough, am as isUnit, an as keyForPlace, ao as latest, ap as matchCorrelates, aq as matchKey, ar as matchSpec, as as nameId, at as one, au as outPlace, av as outputArc, aw as passthrough, ax as place, ay as produce, az as readArc, aA as requiredCount, aB as resetArc, aC as timeout, aD as timeoutPlace, aE as tokenAt, aF as tokenOf, aG as transform, aH as transformAsync, aI as transformFrom, aJ as unitToken, aK as window, aL as withTimeout, aM as xor, aN as xorPlaces } from './petri-net-34SkD5RT.js';
+import { E as EventStore } from './event-store-D6i4u41W.js';
+export { A as ActionTimedOut, a as ExecutionCompleted, b as ExecutionStarted, I as InMemoryEventStore, L as LogMessage, M as MarkingSnapshot, N as NetEvent, T as TokenAdded, c as TokenRemoved, d as TransitionClockRestarted, e as TransitionCompleted, f as TransitionEnabled, g as TransitionFailed, h as TransitionStarted, i as TransitionTimedOut, j as eventTransitionName, k as eventsOfType, l as failures, m as filterEvents, n as inMemoryEventStore, o as isFailureEvent, p as noopEventStore, t as transitionEvents } from './event-store-D6i4u41W.js';
 
 /**
  * Discriminated sum-type abstraction over Petri nets, distinguishing **closed**
@@ -325,7 +325,16 @@ declare class BitmapNetExecutor implements PetriNetExecutor {
     private readonly externalQueue;
     private wakeUpResolve;
     private readonly readyBuffer;
-    private readonly pendingResetPlaces;
+    /**
+     * Per transition, one bit: a firing left it disabled in the intermediate marking while it
+     * was marked enabled (TIME-012), so the next dirty scan that finds it enabled restarts its
+     * clock. Set at fire time, cleared at the end of every scan; `anyRestartPending` lets the
+     * scan skip the clear when nothing was flagged.
+     */
+    private readonly restartPendingWords;
+    private anyRestartPending;
+    /** Per place, the count a firing must leave it at to have disabled nothing through it. */
+    private readonly restartThresholds;
     /**
      * Undeclared place names already reported (CORE-072 AC4). Keyed by name — TS
      * Place identity is name-based — so a hot loop warns once, not per token.
@@ -333,7 +342,6 @@ declare class BitmapNetExecutor implements PetriNetExecutor {
     private readonly warnedUnknownPlaces;
     /** Transitions already warned for writing several tokens to a place their spec names once (IO-016 AC4). */
     private readonly warnedMultiplicity;
-    private readonly transitionInputPlaceNames;
     private running;
     private draining;
     private closed;
@@ -368,7 +376,14 @@ declare class BitmapNetExecutor implements PetriNetExecutor {
      */
     private enforceDeadlines;
     private canEnable;
-    private hasInputFromResetPlace;
+    /**
+     * Flags each other transition that firing `tid` has just disabled through `pid`
+     * (TIME-012). Called from {@link updateBitmapAfterConsumption} on the intermediate marking
+     * M - Pre(t) (inputs consumed and resets drained, outputs not yet deposited), and only for
+     * a place the firing left below its restart threshold. Removing tokens never trips an
+     * inhibitor arc, so the bit tests reject every other kind of neighbour cheaply.
+     */
+    private flagIntermediateDisablements;
     private fireReadyTransitions;
     /**
      * Fast path for nets where all transitions are immediate and same priority.
@@ -518,6 +533,10 @@ declare class PrecompiledNet {
     /** -2=no spec, -1=complex, >=0=single output place ID. */
     readonly simpleOutputPlaceId: Int32Array;
     readonly inputPlaceCount: Uint32Array;
+    /**
+     * @deprecated Not read by the executor. Kept so the exported shape of `PrecompiledNet`
+     * stays stable; scheduled for removal in the next major release.
+     */
     readonly inputPlaceMaskWords: readonly Uint32Array[];
     readonly placeToTransitions: readonly (readonly number[])[];
     readonly consumptionPlaceIds: readonly (readonly number[])[];
@@ -645,8 +664,16 @@ declare class PrecompiledNetExecutor implements PetriNetExecutor {
     private readonly inFlightResolves;
     private readonly inFlightErrors;
     private inFlightCount;
-    private readonly pendingResetWords;
-    private hasPendingResets;
+    /**
+     * Per transition, one bit: a firing left it disabled in the intermediate marking while it
+     * was marked enabled (TIME-012), so the next dirty scan that finds it enabled restarts its
+     * clock. Set at fire time, cleared at the end of every scan; `anyRestartPending` lets the
+     * scan skip the clear when nothing was flagged.
+     */
+    private readonly restartPendingWords;
+    private anyRestartPending;
+    /** Per place, the count a firing must leave it at to have disabled nothing through it. */
+    private readonly restartThresholds;
     private readonly completionQueue;
     private readonly externalQueue;
     private wakeUpResolve;
@@ -687,7 +714,13 @@ declare class PrecompiledNetExecutor implements PetriNetExecutor {
     private canEnable;
     private countMatching;
     private removeFirstMatching;
-    private hasInputFromResetPlace;
+    /**
+     * Flags each other transition that firing `tid` has just disabled through `pid`
+     * (TIME-012). Called from {@link updateBitmapAfterConsumption} on the intermediate marking,
+     * only for a place the firing left below its restart threshold. Mirrors the bitmap
+     * executor, which gives the rationale.
+     */
+    private flagIntermediateDisablements;
     private fireReadyTransitions;
     /**
      * Fast path for nets where all transitions are immediate and same priority.