libpetri 2.3.2 → 2.5.0

package/dist/dot-exporter-7YDFCBKC.js

@@ -0,0 +1,8 @@
+import {
+  dotExport
+} from "./chunk-2GAZLDH3.js";
+import "./chunk-FN773SSE.js";
+export {
+  dotExport
+};
+//# sourceMappingURL=dot-exporter-7YDFCBKC.js.map

package/dist/{event-store-I3QiQABh.d.ts → event-store-z30VMn0T.d.ts}

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

package/dist/export/index.d.ts

@@ -1,4 +1,4 @@
-import { P as PetriNet } from '../petri-net-CKZYPOsL.js';
+import { P as PetriNet } from '../petri-net-DXdpd0r5.js';
 
 /**
  * Format-agnostic typed graph model.
@@ -133,12 +133,32 @@ declare function edgeStyle(arcType: EdgeCategory): EdgeVisual;
  * @module export/petri-net-mapper
  */
 
+/**
+ * Selects how DOT export groups nodes into `subgraph cluster_*` blocks (per
+ * **MOD-040** / **EXP-016**).
+ *
+ * - `'auto'` — use subnet-membership metadata (per MOD-026) when the net
+ *   carries any; otherwise fall back to instance-prefix name detection.
+ *   Default.
+ * - `'metadata'` — strictly cluster from subnet-membership metadata; a node
+ *   with no metadata entry — including a prefix-named instance node — is not
+ *   clustered. Use `'auto'` to also cluster prefix-named nodes.
+ * - `'prefix'` — always cluster from instance-prefix name segments; ignore
+ *   metadata.
+ * - `'none'` — emit no clusters; every node renders at the top level.
+ */
+type ClusterSource = 'auto' | 'metadata' | 'prefix' | 'none';
 interface DotConfig {
     readonly direction: RankDir;
     readonly showTypes: boolean;
     readonly showIntervals: boolean;
     readonly showPriority: boolean;
     readonly environmentPlaces?: ReadonlySet<string>;
+    /**
+     * How to group nodes into `subgraph cluster_*` blocks (per MOD-040 /
+     * EXP-016). Additive; defaults to `'auto'` when omitted.
+     */
+    readonly clusterSource?: ClusterSource;
 }
 declare const DEFAULT_DOT_CONFIG: DotConfig;
 /** Sanitizes a name for use as a graph node ID. */
@@ -173,4 +193,4 @@ declare function renderDot(graph: Graph): string;
  */
 declare function dotExport(net: PetriNet, config?: DotConfig): string;
 
-export { type ArrowHead, DEFAULT_DOT_CONFIG, type DotConfig, type EdgeCategory, type EdgeLineStyle, type EdgeVisual, FONT, GRAPH, type Graph, type GraphEdge, type GraphNode, type NodeCategory, type NodeShape, type NodeVisual, type RankDir, type Subgraph, dotExport, edgeStyle, mapToGraph, nodeStyle, renderDot, sanitize };
+export { type ArrowHead, type ClusterSource, DEFAULT_DOT_CONFIG, type DotConfig, type EdgeCategory, type EdgeLineStyle, type EdgeVisual, FONT, GRAPH, type Graph, type GraphEdge, type GraphNode, type NodeCategory, type NodeShape, type NodeVisual, type RankDir, type Subgraph, dotExport, edgeStyle, mapToGraph, nodeStyle, renderDot, sanitize };

package/dist/export/index.js

@@ -8,7 +8,7 @@ import {
   nodeStyle,
   renderDot,
   sanitize
-} from "../chunk-B2CV5M3L.js";
+} from "../chunk-2GAZLDH3.js";
 import "../chunk-FN773SSE.js";
 export {
   DEFAULT_DOT_CONFIG,

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-CKZYPOsL.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-CKZYPOsL.js';
-import { E as EventStore } from './event-store-I3QiQABh.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-I3QiQABh.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-DXdpd0r5.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-DXdpd0r5.js';
+import { E as EventStore } from './event-store-z30VMn0T.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-z30VMn0T.js';
 
 /**
  * Discriminated sum-type abstraction over Petri nets, distinguishing **closed**