libpetri 1.8.4 → 2.0.0

package/dist/dot-exporter-PMHOQHZ3.js

@@ -0,0 +1,8 @@
+import {
+  dotExport
+} from "./chunk-4L6JVKH4.js";
+import "./chunk-FN773SSE.js";
+export {
+  dotExport
+};
+//# sourceMappingURL=dot-exporter-PMHOQHZ3.js.map

package/dist/{event-store-BnyHh3TF.d.ts → event-store-2zkXeQkd.d.ts}

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

package/dist/export/index.d.ts

@@ -1,4 +1,4 @@
-import { a as PetriNet } from '../petri-net-D-GN9g_D.js';
+import { P as PetriNet } from '../petri-net-BDrj4XZE.js';
 
 /**
  * Format-agnostic typed graph model.
@@ -41,10 +41,24 @@ interface GraphEdge {
     readonly arcType: 'input' | 'output' | 'inhibitor' | 'read' | 'reset' | 'reset-output';
     readonly attrs?: Readonly<Record<string, string>>;
 }
+/**
+ * A subgraph (cluster) in the graph.
+ *
+ * Subgraphs may nest arbitrarily via {@link subgraphs} to model nested subnet
+ * instance prefixes per {@code spec/11-modular-composition.md} **MOD-040** and
+ * {@code spec/09-export.md} **EXP-016**. Edges whose endpoints both live
+ * inside the same cluster are placed inside that cluster via {@link edges} so
+ * Graphviz routes them correctly. Cross-cluster (or fully top-level) edges
+ * live on the parent {@link Graph#edges} list.
+ */
 interface Subgraph {
     readonly id: string;
     readonly label?: string;
     readonly nodes: readonly GraphNode[];
+    /** Edges whose source and target both live inside this subgraph. */
+    readonly edges?: readonly GraphEdge[];
+    /** Nested child subgraphs (deeper instance prefixes). */
+    readonly subgraphs?: readonly Subgraph[];
     readonly attrs?: Readonly<Record<string, string>>;
 }
 interface Graph {
@@ -96,7 +110,7 @@ interface GraphStyle {
 }
 declare const FONT: FontStyle;
 declare const GRAPH: GraphStyle;
-type NodeCategory = 'place' | 'start' | 'end' | 'environment' | 'transition' | 'xor-junction' | 'and-junction';
+type NodeCategory = 'place' | 'start' | 'end' | 'environment' | 'transition' | 'xor-junction' | 'and-junction' | 'interface-port' | 'sync-channel';
 type EdgeCategory = 'input' | 'output' | 'inhibitor' | 'read' | 'reset' | 'reset-output';
 /** Returns the visual style for the given node category. */
 declare function nodeStyle(category: NodeCategory): NodeVisual;

package/dist/export/index.js

@@ -8,7 +8,7 @@ import {
   nodeStyle,
   renderDot,
   sanitize
-} from "../chunk-B2D5DMTO.js";
+} from "../chunk-4L6JVKH4.js";
 import "../chunk-FN773SSE.js";
 export {
   DEFAULT_DOT_CONFIG,

package/dist/index.d.ts

@@ -1,7 +1,43 @@
-import { P as Place, T as Token, a as PetriNet, b as Transition, E as EnvironmentPlace, c as TransitionContext, O as Out } from './petri-net-D-GN9g_D.js';
-export { A as Arc, d as ArcInhibitor, e as ArcInput, f as ArcOutput, g as ArcRead, h as ArcReset, I as In, i as InAll, j as InAtLeast, k as InExactly, l as InOne, L as LogFn, M as MAX_DURATION_MS, m as OutAnd, n as OutForwardInput, o as OutPlace, p as OutTimeout, q as OutXor, r as OutputEntry, s as PetriNetBuilder, t as Timing, u as TimingDeadline, v as TimingDelayed, w as TimingExact, x as TimingImmediate, y as TimingWindow, z as TokenInput, B as TokenOutput, C as TransitionAction, D as TransitionBuilder, F as all, G as allPlaces, H as and, J as andPlaces, K as arcPlace, N as atLeast, Q as consumptionCount, R as deadline, S as delayed, U as earliest, V as enumerateBranches, W as environmentPlace, X as exact, Y as exactly, Z as fork, _ as forwardInput, $ as hasDeadline, a0 as hasGuard, a1 as immediate, a2 as inhibitorArc, a3 as inputArc, a4 as isUnit, a5 as latest, a6 as matchesGuard, a7 as one, a8 as outPlace, a9 as outputArc, aa as passthrough, ab as place, ac as produce, ad as readArc, ae as requiredCount, af as resetArc, ag as timeout, ah as timeoutPlace, ai as tokenAt, aj as tokenOf, ak as transform, al as transformAsync, am as transformFrom, an as unitToken, ao as window, ap as withTimeout, aq as xor, ar as xorPlaces } from './petri-net-D-GN9g_D.js';
-import { E as EventStore } from './event-store-BnyHh3TF.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-BnyHh3TF.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-BDrj4XZE.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, L as LogFn, M as MAX_DURATION_MS, r as OutAnd, s as OutForwardInput, t as OutPlace, u as OutTimeout, v as OutXor, w as OutputEntry, x as PetriNetBuilder, y as Port, z as PortDirection, B as SubnetDefBuilder, D as SubnetInstance, G as Timing, H as TimingDeadline, J as TimingDelayed, K as TimingExact, N as TimingImmediate, Q as TimingWindow, R as TokenInput, U as TokenOutput, V as TransitionAction, W as TransitionBuilder, X as VerificationHarness, Y as VerificationResult, Z as all, _ as allPlaces, $ as and, a0 as andPlaces, a1 as arcPlace, a2 as atLeast, a3 as consumptionCount, a4 as deadline, a5 as delayed, a6 as earliest, a7 as enumerateBranches, a8 as environmentPlace, a9 as exact, aa as exactly, ab as fork, ac as forwardInput, ad as hasDeadline, ae as hasGuard, af as immediate, ag as inhibitorArc, ah as inputArc, ai as isUnit, aj as latest, ak as matchesGuard, al as one, am as outPlace, an as outputArc, ao as passthrough, ap as place, aq as produce, ar as readArc, as as requiredCount, at as resetArc, au as timeout, av as timeoutPlace, aw as tokenAt, ax as tokenOf, ay as transform, az as transformAsync, aA as transformFrom, aB as unitToken, aC as window, aD as withTimeout, aE as xor, aF as xorPlaces } from './petri-net-BDrj4XZE.js';
+import { E as EventStore } from './event-store-2zkXeQkd.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-2zkXeQkd.js';
+
+/**
+ * Discriminated sum-type abstraction over Petri nets, distinguishing **closed**
+ * (runnable) nets from **open** (composable) subnet fragments per
+ * `spec/11-modular-composition.md` requirement **MOD-002**.
+ *
+ * This abstraction is the bridge between the existing flat {@link PetriNet}
+ * world and the modular composition extension. Code that wishes to accept
+ * "any net" types its parameter as `Subnet`; code that needs a runnable net
+ * continues to take {@link PetriNet} (or `Subnet` narrowed to `'closed'`);
+ * code that needs an open fragment takes {@link SubnetDef} (or `Subnet`
+ * narrowed to `'open'`). Misuse is rejected at compile time wherever
+ * TypeScript's structural typing permits.
+ *
+ * Use the literal `kind` field for exhaustive pattern matching:
+ *
+ * ```ts
+ * function classify(s: Subnet): string {
+ *   switch (s.kind) {
+ *     case 'closed': return `closed:${s.net.name}`;
+ *     case 'open':   return `open:${s.def.name}`;
+ *   }
+ * }
+ * ```
+ */
+type Subnet = {
+    readonly kind: 'closed';
+    readonly net: PetriNet;
+} | {
+    readonly kind: 'open';
+    readonly def: SubnetDef<unknown>;
+};
+/** Wraps a {@link PetriNet} as a closed (runnable) {@link Subnet}. */
+declare function closedSubnet(net: PetriNet): Subnet;
+/** Wraps a {@link SubnetDef} as an open (composable) {@link Subnet}. */
+declare function openSubnet(def: SubnetDef<unknown>): Subnet;
 
 /**
  * @module marking
@@ -556,4 +592,4 @@ declare function validateOutSpec(tName: string, spec: Out, producedPlaceNames: S
  */
 declare function produceTimeoutOutput(context: TransitionContext, timeoutChild: Out): void;
 
-export { BitmapNetExecutor, type BitmapNetExecutorOptions, type CardinalityCheck, CompiledNet, EnvironmentPlace, EventStore, type GuardSpec, Marking, Out, OutViolationError, PetriNet, type PetriNetExecutor, Place, PrecompiledNet, PrecompiledNetExecutor, type PrecompiledNetExecutorOptions, Token, Transition, TransitionContext, clearBit, containsAll, intersects, produceTimeoutOutput, setBit, testBit, validateOutSpec };
+export { BitmapNetExecutor, type BitmapNetExecutorOptions, type CardinalityCheck, CompiledNet, EnvironmentPlace, EventStore, type GuardSpec, Marking, Out, OutViolationError, PetriNet, type PetriNetExecutor, Place, PrecompiledNet, PrecompiledNetExecutor, type PrecompiledNetExecutorOptions, type Subnet, SubnetDef, Token, Transition, TransitionContext, clearBit, closedSubnet, containsAll, intersects, openSubnet, produceTimeoutOutput, setBit, testBit, validateOutSpec };