libpetri 3.0.1 → 4.1.0

package/dist/{event-store-BFX_yJ8I.d.ts → event-store-B3ppVTpO.d.ts}

@@ -1,4 +1,4 @@
-import { T as Token } from './petri-net-WSScMyDL.js';
+import { T as Token } from './petri-net-p0ONpSAO.js';
 
 /**
  * Events emitted during Petri Net execution.

package/dist/export/index.d.ts

@@ -1,4 +1,4 @@
-import { P as PetriNet } from '../petri-net-WSScMyDL.js';
+import { P as PetriNet } from '../petri-net-p0ONpSAO.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-WSScMyDL.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-WSScMyDL.js';
-import { E as EventStore } from './event-store-BFX_yJ8I.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-BFX_yJ8I.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-p0ONpSAO.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-p0ONpSAO.js';
+import { E as EventStore } from './event-store-B3ppVTpO.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-B3ppVTpO.js';
 
 /**
  * Discriminated sum-type abstraction over Petri nets, distinguishing **closed**

package/dist/index.js

@@ -2,6 +2,7 @@ import {
   SmtVerifier,
   all,
   allPlaces,
+  alwaysAvailable,
   and,
   andPlaces,
   atLeast,
@@ -27,7 +28,7 @@ import {
   withTimeout,
   xor,
   xorPlaces
-} from "./chunk-JZIEWVAV.js";
+} from "./chunk-FD3S4TZM.js";
 import {
   eventTransitionName,
   isFailureEvent
@@ -1488,7 +1489,7 @@ var SubnetDef = class _SubnetDef {
    *          {@link SmtVerificationResult}s
    * @throws when an input or in-out port is missing a harness generator
    */
-  async verify(harness) {
+  async verify(harness, environmentMode = alwaysAvailable()) {
     if (harness === null || harness === void 0) {
       throw new Error("SubnetDef.verify: harness must not be null/undefined");
     }
@@ -1550,6 +1551,7 @@ var SubnetDef = class _SubnetDef {
       const verifier = SmtVerifier.forNet(syntheticNet).property(property);
       if (envPlaces.length > 0) {
         verifier.environmentPlaces(...envPlaces);
+        verifier.environmentMode(environmentMode);
       }
       const result = await verifier.verify();
       perProperty.set(property, result);
@@ -2921,6 +2923,7 @@ var IncrementalMatcher = class {
     this.requireds = requireds;
     this.ts = requireds.map(() => /* @__PURE__ */ new Map());
   }
+  requireds;
   ts;
   /** Monotonic fast path: ascending `(rep_ts, name)`; `fifo[fifoHead]` (after
    * `cleanTop`) is the min. Active while `!heaped`. Advance `fifoHead` instead of
@@ -3960,10 +3963,11 @@ var BitmapNetExecutor = class {
       promises.push(Promise.race(arr));
     }
     if (!this.closed) {
+      const timerMs = this.millisUntilNextTimedTransition();
+      if (timerMs === 0 && promises.length === 0) return;
       promises.push(new Promise((resolve2) => {
         this.wakeUpResolve = resolve2;
       }));
-      const timerMs = this.millisUntilNextTimedTransition();
       if (timerMs > 0 && timerMs < Infinity) {
         promises.push(new Promise((r) => setTimeout(r, timerMs)));
       }
@@ -5462,10 +5466,11 @@ var PrecompiledNetExecutor = class {
       }
     }
     if (!this.closed) {
+      const timerMs = this.millisUntilNextTimedTransition();
+      if (timerMs === 0 && promises.length === 0) return;
       promises.push(new Promise((resolve2) => {
         this.wakeUpResolve = resolve2;
       }));
-      const timerMs = this.millisUntilNextTimedTransition();
       if (timerMs > 0 && timerMs < Infinity) {
         promises.push(new Promise((r) => setTimeout(r, timerMs)));
       }