libpetri 0.3.5 → 0.4.1

package/dist/export/index.js

@@ -1,402 +1,15 @@
 import {
-  earliest,
-  hasDeadline,
-  latest
-} from "../chunk-FN773SSE.js";
-
-// src/export/styles.ts
-var NODE_STYLES = {
-  place: { shape: "circle", fill: "#FFFFFF", stroke: "#333333", penwidth: 1.5, width: 0.35 },
-  start: { shape: "circle", fill: "#d4edda", stroke: "#28a745", penwidth: 2, width: 0.35 },
-  end: { shape: "circle", fill: "#cce5ff", stroke: "#004085", penwidth: 2, width: 0.35 },
-  environment: { shape: "circle", fill: "#f8d7da", stroke: "#721c24", penwidth: 2, style: "dashed", width: 0.35 },
-  transition: { shape: "box", fill: "#fff3cd", stroke: "#856404", penwidth: 1, height: 0.4, width: 0.8 }
-};
-var EDGE_STYLES = {
-  input: { color: "#333333", style: "solid", arrowhead: "normal" },
-  output: { color: "#333333", style: "solid", arrowhead: "normal" },
-  inhibitor: { color: "#dc3545", style: "solid", arrowhead: "odot" },
-  read: { color: "#6c757d", style: "dashed", arrowhead: "normal" },
-  reset: { color: "#fd7e14", style: "bold", arrowhead: "normal", penwidth: 2 }
-};
-var FONT = { family: "Helvetica,Arial,sans-serif", nodeSize: 12, edgeSize: 10 };
-var GRAPH = { nodesep: 0.5, ranksep: 0.75 };
-function nodeStyle(category) {
-  return NODE_STYLES[category];
-}
-function edgeStyle(arcType) {
-  return EDGE_STYLES[arcType];
-}
-
-// src/export/petri-net-mapper.ts
-var DEFAULT_DOT_CONFIG = {
-  direction: "TB",
-  showTypes: true,
-  showIntervals: true,
-  showPriority: true
-};
-function sanitize(name) {
-  return name.replace(/[^a-zA-Z0-9_]/g, "_");
-}
-function mapToGraph(net, config = DEFAULT_DOT_CONFIG) {
-  const places = analyzePlaces(net);
-  const envNames = config.environmentPlaces ?? /* @__PURE__ */ new Set();
-  const nodes = [];
-  const edges = [];
-  for (const [name, info] of places) {
-    const category = placeCategory(info, envNames.has(name));
-    const style = nodeStyle(category);
-    nodes.push({
-      id: "p_" + sanitize(name),
-      label: "",
-      shape: style.shape,
-      fill: style.fill,
-      stroke: style.stroke,
-      penwidth: style.penwidth,
-      semanticId: name,
-      style: style.style,
-      width: style.width,
-      attrs: { xlabel: name, fixedsize: "true" }
-    });
-  }
-  for (const t of net.transitions) {
-    const style = nodeStyle("transition");
-    nodes.push({
-      id: "t_" + sanitize(t.name),
-      label: transitionLabel(t, config),
-      shape: style.shape,
-      fill: style.fill,
-      stroke: style.stroke,
-      penwidth: style.penwidth,
-      semanticId: t.name,
-      height: style.height,
-      width: style.width
-    });
-  }
-  for (const t of net.transitions) {
-    const tid = "t_" + sanitize(t.name);
-    for (const spec of t.inputSpecs) {
-      const pid = "p_" + sanitize(spec.place.name);
-      const inputStyle = edgeStyle("input");
-      let label;
-      switch (spec.type) {
-        case "exactly":
-          label = `\xD7${spec.count}`;
-          break;
-        case "all":
-          label = "*";
-          break;
-        case "at-least":
-          label = `\u2265${spec.minimum}`;
-          break;
-      }
-      edges.push({
-        from: pid,
-        to: tid,
-        label,
-        color: inputStyle.color,
-        style: inputStyle.style,
-        arrowhead: inputStyle.arrowhead,
-        arcType: "input"
-      });
-    }
-    if (t.outputSpec !== null) {
-      edges.push(...outputEdges(tid, t.outputSpec, null));
-    }
-    for (const inh of t.inhibitors) {
-      const pid = "p_" + sanitize(inh.place.name);
-      const inhStyle = edgeStyle("inhibitor");
-      edges.push({
-        from: pid,
-        to: tid,
-        color: inhStyle.color,
-        style: inhStyle.style,
-        arrowhead: inhStyle.arrowhead,
-        arcType: "inhibitor"
-      });
-    }
-    for (const r of t.reads) {
-      const pid = "p_" + sanitize(r.place.name);
-      const readStyle = edgeStyle("read");
-      edges.push({
-        from: pid,
-        to: tid,
-        label: "read",
-        color: readStyle.color,
-        style: readStyle.style,
-        arrowhead: readStyle.arrowhead,
-        arcType: "read"
-      });
-    }
-    const outputPlaceNames = t.outputSpec !== null ? new Set([...t.outputPlaces()].map((p) => p.name)) : /* @__PURE__ */ new Set();
-    for (const rst of t.resets) {
-      if (!outputPlaceNames.has(rst.place.name)) {
-        const pid = "p_" + sanitize(rst.place.name);
-        const resetStyle = edgeStyle("reset");
-        edges.push({
-          from: tid,
-          to: pid,
-          label: "reset",
-          color: resetStyle.color,
-          style: resetStyle.style,
-          arrowhead: resetStyle.arrowhead,
-          penwidth: resetStyle.penwidth,
-          arcType: "reset"
-        });
-      }
-    }
-  }
-  return {
-    id: sanitize(net.name),
-    rankdir: config.direction,
-    nodes,
-    edges,
-    subgraphs: [],
-    graphAttrs: {
-      nodesep: String(GRAPH.nodesep),
-      ranksep: String(GRAPH.ranksep),
-      fontname: FONT.family
-    },
-    nodeDefaults: {
-      fontname: FONT.family,
-      fontsize: String(FONT.nodeSize)
-    },
-    edgeDefaults: {
-      fontname: FONT.family,
-      fontsize: String(FONT.edgeSize)
-    }
-  };
-}
-function analyzePlaces(net) {
-  const map = /* @__PURE__ */ new Map();
-  function ensure(name) {
-    let info = map.get(name);
-    if (!info) {
-      info = { hasIncoming: false, hasOutgoing: false };
-      map.set(name, info);
-    }
-    return info;
-  }
-  for (const t of net.transitions) {
-    for (const spec of t.inputSpecs) {
-      ensure(spec.place.name).hasOutgoing = true;
-    }
-    if (t.outputSpec !== null) {
-      for (const p of t.outputPlaces()) {
-        ensure(p.name).hasIncoming = true;
-      }
-    }
-    for (const inh of t.inhibitors) {
-      ensure(inh.place.name);
-    }
-    for (const r of t.reads) {
-      ensure(r.place.name).hasOutgoing = true;
-    }
-    for (const rst of t.resets) {
-      ensure(rst.place.name);
-    }
-  }
-  return map;
-}
-function placeCategory(info, isEnvironment) {
-  if (isEnvironment) return "environment";
-  if (!info.hasIncoming) return "start";
-  if (!info.hasOutgoing) return "end";
-  return "place";
-}
-function transitionLabel(t, config) {
-  const parts = [t.name];
-  if (config.showIntervals) {
-    const e = earliest(t.timing);
-    const l = latest(t.timing);
-    const max = hasDeadline(t.timing) ? String(l) : "\u221E";
-    parts.push(`[${e}, ${max}]ms`);
-  }
-  if (config.showPriority && t.priority !== 0) {
-    parts.push(`prio=${t.priority}`);
-  }
-  return parts.join(" ");
-}
-function outputEdges(transitionId, out, branchLabel) {
-  const outStyle = edgeStyle("output");
-  switch (out.type) {
-    case "place": {
-      const pid = "p_" + sanitize(out.place.name);
-      return [{
-        from: transitionId,
-        to: pid,
-        label: branchLabel ?? void 0,
-        color: outStyle.color,
-        style: outStyle.style,
-        arrowhead: outStyle.arrowhead,
-        arcType: "output"
-      }];
-    }
-    case "forward-input": {
-      const pid = "p_" + sanitize(out.to.name);
-      const label = (branchLabel ? branchLabel + " " : "") + "\u27F5" + out.from.name;
-      return [{
-        from: transitionId,
-        to: pid,
-        label,
-        color: outStyle.color,
-        style: "dashed",
-        arrowhead: outStyle.arrowhead,
-        arcType: "output"
-      }];
-    }
-    case "and":
-      return out.children.flatMap((c) => outputEdges(transitionId, c, branchLabel));
-    case "xor": {
-      const edges = [];
-      for (const child of out.children) {
-        const label = inferBranchLabel(child);
-        edges.push(...outputEdges(transitionId, child, label));
-      }
-      return edges;
-    }
-    case "timeout":
-      return outputEdges(transitionId, out.child, `\u23F1${out.afterMs}ms`);
-  }
-}
-function inferBranchLabel(out) {
-  switch (out.type) {
-    case "place":
-      return out.place.name;
-    case "timeout":
-      return `\u23F1${out.afterMs}ms`;
-    case "forward-input":
-      return out.to.name;
-    case "and":
-    case "xor":
-      return null;
-  }
-}
-
-// src/export/dot-renderer.ts
-function renderDot(graph) {
-  const lines = [];
-  lines.push(`digraph ${quoteId(graph.id)} {`);
-  lines.push(`    rankdir=${graph.rankdir};`);
-  for (const [key, value] of Object.entries(graph.graphAttrs)) {
-    lines.push(`    ${key}=${quoteAttr(value)};`);
-  }
-  if (Object.keys(graph.nodeDefaults).length > 0) {
-    lines.push(`    node [${formatAttrs(graph.nodeDefaults)}];`);
-  }
-  if (Object.keys(graph.edgeDefaults).length > 0) {
-    lines.push(`    edge [${formatAttrs(graph.edgeDefaults)}];`);
-  }
-  lines.push("");
-  for (const sg of graph.subgraphs) {
-    lines.push(...renderSubgraph(sg, "    "));
-    lines.push("");
-  }
-  for (const node of graph.nodes) {
-    lines.push(`    ${renderNode(node)}`);
-  }
-  if (graph.nodes.length > 0) {
-    lines.push("");
-  }
-  for (const edge of graph.edges) {
-    lines.push(`    ${renderEdge(edge)}`);
-  }
-  lines.push("}");
-  return lines.join("\n");
-}
-function renderNode(node) {
-  const attrs = {
-    label: node.label,
-    shape: node.shape,
-    style: node.style ? `"filled,${node.style}"` : "filled",
-    fillcolor: node.fill,
-    color: node.stroke,
-    penwidth: String(node.penwidth)
-  };
-  if (node.height !== void 0) {
-    attrs["height"] = String(node.height);
-  }
-  if (node.width !== void 0) {
-    attrs["width"] = String(node.width);
-  }
-  if (node.attrs) {
-    for (const [key, value] of Object.entries(node.attrs)) {
-      attrs[key] = value;
-    }
-  }
-  return `${quoteId(node.id)} [${formatNodeAttrs(attrs)}];`;
-}
-function renderEdge(edge) {
-  const attrs = {
-    color: edge.color,
-    style: edge.style,
-    arrowhead: edge.arrowhead
-  };
-  if (edge.label !== void 0) {
-    attrs["label"] = edge.label;
-  }
-  if (edge.penwidth !== void 0) {
-    attrs["penwidth"] = String(edge.penwidth);
-  }
-  if (edge.attrs) {
-    for (const [key, value] of Object.entries(edge.attrs)) {
-      attrs[key] = value;
-    }
-  }
-  return `${quoteId(edge.from)} -> ${quoteId(edge.to)} [${formatNodeAttrs(attrs)}];`;
-}
-function renderSubgraph(sg, indent) {
-  const lines = [];
-  lines.push(`${indent}subgraph ${quoteId("cluster_" + sg.id)} {`);
-  if (sg.label !== void 0) {
-    lines.push(`${indent}    label=${quoteAttr(sg.label)};`);
-  }
-  if (sg.attrs) {
-    for (const [key, value] of Object.entries(sg.attrs)) {
-      lines.push(`${indent}    ${key}=${quoteAttr(value)};`);
-    }
-  }
-  for (const node of sg.nodes) {
-    lines.push(`${indent}    ${renderNode(node)}`);
-  }
-  lines.push(`${indent}}`);
-  return lines;
-}
-function quoteId(id) {
-  if (/^[a-zA-Z_][a-zA-Z0-9_]*$/.test(id) && !isDotKeyword(id)) {
-    return id;
-  }
-  return `"${escapeDot(id)}"`;
-}
-function quoteAttr(value) {
-  if (/^-?\d+(\.\d+)?$/.test(value)) {
-    return value;
-  }
-  return `"${escapeDot(value)}"`;
-}
-function escapeDot(s) {
-  return s.replace(/\\/g, "\\\\").replace(/"/g, '\\"');
-}
-function formatNodeAttrs(attrs) {
-  return Object.entries(attrs).map(([key, value]) => {
-    if (value.startsWith('"') && value.endsWith('"')) {
-      return `${key}=${value}`;
-    }
-    return `${key}=${quoteAttr(value)}`;
-  }).join(", ");
-}
-function formatAttrs(attrs) {
-  return Object.entries(attrs).map(([key, value]) => `${key}=${quoteAttr(value)}`).join(", ");
-}
-function isDotKeyword(id) {
-  const lower = id.toLowerCase();
-  return lower === "graph" || lower === "digraph" || lower === "subgraph" || lower === "node" || lower === "edge" || lower === "strict";
-}
-
-// src/export/dot-exporter.ts
-function dotExport(net, config) {
-  return renderDot(mapToGraph(net, config));
-}
+  DEFAULT_DOT_CONFIG,
+  FONT,
+  GRAPH,
+  dotExport,
+  edgeStyle,
+  mapToGraph,
+  nodeStyle,
+  renderDot,
+  sanitize
+} from "../chunk-MJPQNC5D.js";
+import "../chunk-FN773SSE.js";
 export {
   DEFAULT_DOT_CONFIG,
   FONT,

package/dist/export/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/export/styles.ts","../../src/export/petri-net-mapper.ts","../../src/export/dot-renderer.ts","../../src/export/dot-exporter.ts"],"sourcesContent":["/**\n * Style loader for Petri net visualization.\n *\n * Reads the shared style definition from `spec/petri-net-styles.json` and\n * exposes typed accessors for node and edge visual properties.\n *\n * @module export/styles\n */\n\nimport type { NodeShape, EdgeLineStyle, ArrowHead } from './graph.js';\n\n// ======================== Style Types ========================\n\nexport interface NodeVisual {\n  readonly shape: NodeShape;\n  readonly fill: string;\n  readonly stroke: string;\n  readonly penwidth: number;\n  readonly style?: string;\n  readonly height?: number;\n  readonly width?: number;\n}\n\nexport interface EdgeVisual {\n  readonly color: string;\n  readonly style: EdgeLineStyle;\n  readonly arrowhead: ArrowHead;\n  readonly penwidth?: number;\n}\n\nexport interface FontStyle {\n  readonly family: string;\n  readonly nodeSize: number;\n  readonly edgeSize: number;\n}\n\nexport interface GraphStyle {\n  readonly nodesep: number;\n  readonly ranksep: number;\n}\n\n// ======================== Inline Style Data ========================\n\n// Inlined from spec/petri-net-styles.json to avoid runtime JSON import issues.\n// Keep in sync with the spec file.\n\nconst NODE_STYLES: Record<NodeCategory, NodeVisual> = {\n  place:       { shape: 'circle',  fill: '#FFFFFF', stroke: '#333333', penwidth: 1.5, width: 0.35 },\n  start:       { shape: 'circle',  fill: '#d4edda', stroke: '#28a745', penwidth: 2.0, width: 0.35 },\n  end:         { shape: 'circle',  fill: '#cce5ff', stroke: '#004085', penwidth: 2.0, width: 0.35 },\n  environment: { shape: 'circle',  fill: '#f8d7da', stroke: '#721c24', penwidth: 2.0, style: 'dashed', width: 0.35 },\n  transition:  { shape: 'box',     fill: '#fff3cd', stroke: '#856404', penwidth: 1.0, height: 0.4, width: 0.8 },\n};\n\nconst EDGE_STYLES: Record<EdgeCategory, EdgeVisual> = {\n  input:     { color: '#333333', style: 'solid',  arrowhead: 'normal' },\n  output:    { color: '#333333', style: 'solid',  arrowhead: 'normal' },\n  inhibitor: { color: '#dc3545', style: 'solid',  arrowhead: 'odot' },\n  read:      { color: '#6c757d', style: 'dashed', arrowhead: 'normal' },\n  reset:     { color: '#fd7e14', style: 'bold',   arrowhead: 'normal', penwidth: 2.0 },\n};\n\nexport const FONT: FontStyle = { family: 'Helvetica,Arial,sans-serif', nodeSize: 12, edgeSize: 10 };\n\nexport const GRAPH: GraphStyle = { nodesep: 0.5, ranksep: 0.75 };\n\n// ======================== Public API ========================\n\nexport type NodeCategory = 'place' | 'start' | 'end' | 'environment' | 'transition';\nexport type EdgeCategory = 'input' | 'output' | 'inhibitor' | 'read' | 'reset';\n\n/** Returns the visual style for the given node category. */\nexport function nodeStyle(category: NodeCategory): NodeVisual {\n  return NODE_STYLES[category];\n}\n\n/** Returns the visual style for the given edge/arc type. */\nexport function edgeStyle(arcType: EdgeCategory): EdgeVisual {\n  return EDGE_STYLES[arcType];\n}\n","/**\n * Maps a PetriNet definition to a format-agnostic Graph.\n *\n * This is where all the Petri net semantics live. The mapper understands\n * places, transitions, arcs, timing, and priority. It produces a Graph\n * that can be rendered to DOT (or any other format) without Petri net knowledge.\n *\n * @module export/petri-net-mapper\n */\n\nimport type { PetriNet } from '../core/petri-net.js';\nimport type { Transition } from '../core/transition.js';\nimport type { Out } from '../core/out.js';\nimport { earliest, latest, hasDeadline } from '../core/timing.js';\nimport type { Graph, GraphNode, GraphEdge, RankDir } from './graph.js';\nimport { nodeStyle, edgeStyle, FONT, GRAPH } from './styles.js';\nimport type { NodeCategory } from './styles.js';\n\n// ======================== Configuration ========================\n\nexport interface DotConfig {\n  readonly direction: RankDir;\n  readonly showTypes: boolean;\n  readonly showIntervals: boolean;\n  readonly showPriority: boolean;\n  readonly environmentPlaces?: ReadonlySet<string>;\n}\n\nexport const DEFAULT_DOT_CONFIG: DotConfig = {\n  direction: 'TB',\n  showTypes: true,\n  showIntervals: true,\n  showPriority: true,\n};\n\n// ======================== Public API ========================\n\n/** Sanitizes a name for use as a graph node ID. */\nexport function sanitize(name: string): string {\n  return name.replace(/[^a-zA-Z0-9_]/g, '_');\n}\n\n/** Maps a PetriNet to a format-agnostic Graph. */\nexport function mapToGraph(net: PetriNet, config: DotConfig = DEFAULT_DOT_CONFIG): Graph {\n  const places = analyzePlaces(net);\n  const envNames = config.environmentPlaces ?? new Set<string>();\n\n  const nodes: GraphNode[] = [];\n  const edges: GraphEdge[] = [];\n\n  // Place nodes\n  for (const [name, info] of places) {\n    const category = placeCategory(info, envNames.has(name));\n    const style = nodeStyle(category);\n    nodes.push({\n      id: 'p_' + sanitize(name),\n      label: '',\n      shape: style.shape,\n      fill: style.fill,\n      stroke: style.stroke,\n      penwidth: style.penwidth,\n      semanticId: name,\n      style: style.style,\n      width: style.width,\n      attrs: { xlabel: name, fixedsize: 'true' },\n    });\n  }\n\n  // Transition nodes\n  for (const t of net.transitions) {\n    const style = nodeStyle('transition');\n    nodes.push({\n      id: 't_' + sanitize(t.name),\n      label: transitionLabel(t, config),\n      shape: style.shape,\n      fill: style.fill,\n      stroke: style.stroke,\n      penwidth: style.penwidth,\n      semanticId: t.name,\n      height: style.height,\n      width: style.width,\n    });\n  }\n\n  // Edges\n  for (const t of net.transitions) {\n    const tid = 't_' + sanitize(t.name);\n\n    // Input arcs from inputSpecs\n    for (const spec of t.inputSpecs) {\n      const pid = 'p_' + sanitize(spec.place.name);\n      const inputStyle = edgeStyle('input');\n      let label: string | undefined;\n      switch (spec.type) {\n        case 'exactly':\n          label = `\\u00d7${spec.count}`;\n          break;\n        case 'all':\n          label = '*';\n          break;\n        case 'at-least':\n          label = `\\u2265${spec.minimum}`;\n          break;\n      }\n      edges.push({\n        from: pid,\n        to: tid,\n        label,\n        color: inputStyle.color,\n        style: inputStyle.style,\n        arrowhead: inputStyle.arrowhead,\n        arcType: 'input',\n      });\n    }\n\n    // Output arcs from outputSpec\n    if (t.outputSpec !== null) {\n      edges.push(...outputEdges(tid, t.outputSpec, null));\n    }\n\n    // Inhibitor arcs\n    for (const inh of t.inhibitors) {\n      const pid = 'p_' + sanitize(inh.place.name);\n      const inhStyle = edgeStyle('inhibitor');\n      edges.push({\n        from: pid,\n        to: tid,\n        color: inhStyle.color,\n        style: inhStyle.style,\n        arrowhead: inhStyle.arrowhead,\n        arcType: 'inhibitor',\n      });\n    }\n\n    // Read arcs\n    for (const r of t.reads) {\n      const pid = 'p_' + sanitize(r.place.name);\n      const readStyle = edgeStyle('read');\n      edges.push({\n        from: pid,\n        to: tid,\n        label: 'read',\n        color: readStyle.color,\n        style: readStyle.style,\n        arrowhead: readStyle.arrowhead,\n        arcType: 'read',\n      });\n    }\n\n    // Reset arcs (only those without matching output)\n    const outputPlaceNames = t.outputSpec !== null\n      ? new Set([...t.outputPlaces()].map(p => p.name))\n      : new Set<string>();\n    for (const rst of t.resets) {\n      if (!outputPlaceNames.has(rst.place.name)) {\n        const pid = 'p_' + sanitize(rst.place.name);\n        const resetStyle = edgeStyle('reset');\n        edges.push({\n          from: tid,\n          to: pid,\n          label: 'reset',\n          color: resetStyle.color,\n          style: resetStyle.style,\n          arrowhead: resetStyle.arrowhead,\n          penwidth: resetStyle.penwidth,\n          arcType: 'reset',\n        });\n      }\n    }\n  }\n\n  return {\n    id: sanitize(net.name),\n    rankdir: config.direction,\n    nodes,\n    edges,\n    subgraphs: [],\n    graphAttrs: {\n      nodesep: String(GRAPH.nodesep),\n      ranksep: String(GRAPH.ranksep),\n      fontname: FONT.family,\n    },\n    nodeDefaults: {\n      fontname: FONT.family,\n      fontsize: String(FONT.nodeSize),\n    },\n    edgeDefaults: {\n      fontname: FONT.family,\n      fontsize: String(FONT.edgeSize),\n    },\n  };\n}\n\n// ======================== Place Analysis ========================\n\ninterface PlaceInfo {\n  hasIncoming: boolean;\n  hasOutgoing: boolean;\n}\n\nfunction analyzePlaces(net: PetriNet): Map<string, PlaceInfo> {\n  const map = new Map<string, PlaceInfo>();\n\n  function ensure(name: string): PlaceInfo {\n    let info = map.get(name);\n    if (!info) {\n      info = { hasIncoming: false, hasOutgoing: false };\n      map.set(name, info);\n    }\n    return info;\n  }\n\n  for (const t of net.transitions) {\n    for (const spec of t.inputSpecs) {\n      ensure(spec.place.name).hasOutgoing = true;\n    }\n    if (t.outputSpec !== null) {\n      for (const p of t.outputPlaces()) {\n        ensure(p.name).hasIncoming = true;\n      }\n    }\n    for (const inh of t.inhibitors) {\n      ensure(inh.place.name);\n    }\n    for (const r of t.reads) {\n      ensure(r.place.name).hasOutgoing = true;\n    }\n    for (const rst of t.resets) {\n      ensure(rst.place.name);\n    }\n  }\n\n  return map;\n}\n\nfunction placeCategory(info: PlaceInfo, isEnvironment: boolean): NodeCategory {\n  if (isEnvironment) return 'environment';\n  if (!info.hasIncoming) return 'start';\n  if (!info.hasOutgoing) return 'end';\n  return 'place';\n}\n\n// ======================== Helpers ========================\n\nfunction transitionLabel(t: Transition, config: DotConfig): string {\n  const parts = [t.name];\n\n  if (config.showIntervals) {\n    const e = earliest(t.timing);\n    const l = latest(t.timing);\n    const max = hasDeadline(t.timing) ? String(l) : '\\u221e';\n    parts.push(`[${e}, ${max}]ms`);\n  }\n\n  if (config.showPriority && t.priority !== 0) {\n    parts.push(`prio=${t.priority}`);\n  }\n\n  return parts.join(' ');\n}\n\nfunction outputEdges(transitionId: string, out: Out, branchLabel: string | null): GraphEdge[] {\n  const outStyle = edgeStyle('output');\n\n  switch (out.type) {\n    case 'place': {\n      const pid = 'p_' + sanitize(out.place.name);\n      return [{\n        from: transitionId,\n        to: pid,\n        label: branchLabel ?? undefined,\n        color: outStyle.color,\n        style: outStyle.style,\n        arrowhead: outStyle.arrowhead,\n        arcType: 'output',\n      }];\n    }\n\n    case 'forward-input': {\n      const pid = 'p_' + sanitize(out.to.name);\n      const label = (branchLabel ? branchLabel + ' ' : '') + '\\u27f5' + out.from.name;\n      return [{\n        from: transitionId,\n        to: pid,\n        label,\n        color: outStyle.color,\n        style: 'dashed' as const,\n        arrowhead: outStyle.arrowhead,\n        arcType: 'output',\n      }];\n    }\n\n    case 'and':\n      return out.children.flatMap(c => outputEdges(transitionId, c, branchLabel));\n\n    case 'xor': {\n      const edges: GraphEdge[] = [];\n      for (const child of out.children) {\n        const label = inferBranchLabel(child);\n        edges.push(...outputEdges(transitionId, child, label));\n      }\n      return edges;\n    }\n\n    case 'timeout':\n      return outputEdges(transitionId, out.child, `\\u23f1${out.afterMs}ms`);\n  }\n}\n\nfunction inferBranchLabel(out: Out): string | null {\n  switch (out.type) {\n    case 'place': return out.place.name;\n    case 'timeout': return `\\u23f1${out.afterMs}ms`;\n    case 'forward-input': return out.to.name;\n    case 'and':\n    case 'xor':\n      return null;\n  }\n}\n","/**\n * Renders a Graph to DOT (Graphviz) string.\n *\n * Pure function with zero Petri net knowledge. Operates solely on the\n * format-agnostic Graph model.\n *\n * @module export/dot-renderer\n */\n\nimport type { Graph, GraphNode, GraphEdge, Subgraph } from './graph.js';\n\n// ======================== Public API ========================\n\n/** Renders a Graph to a DOT string suitable for Graphviz. */\nexport function renderDot(graph: Graph): string {\n  const lines: string[] = [];\n\n  lines.push(`digraph ${quoteId(graph.id)} {`);\n\n  // Graph attributes\n  lines.push(`    rankdir=${graph.rankdir};`);\n  for (const [key, value] of Object.entries(graph.graphAttrs)) {\n    lines.push(`    ${key}=${quoteAttr(value)};`);\n  }\n\n  // Node defaults\n  if (Object.keys(graph.nodeDefaults).length > 0) {\n    lines.push(`    node [${formatAttrs(graph.nodeDefaults)}];`);\n  }\n\n  // Edge defaults\n  if (Object.keys(graph.edgeDefaults).length > 0) {\n    lines.push(`    edge [${formatAttrs(graph.edgeDefaults)}];`);\n  }\n\n  lines.push('');\n\n  // Subgraphs\n  for (const sg of graph.subgraphs) {\n    lines.push(...renderSubgraph(sg, '    '));\n    lines.push('');\n  }\n\n  // Nodes\n  for (const node of graph.nodes) {\n    lines.push(`    ${renderNode(node)}`);\n  }\n\n  if (graph.nodes.length > 0) {\n    lines.push('');\n  }\n\n  // Edges\n  for (const edge of graph.edges) {\n    lines.push(`    ${renderEdge(edge)}`);\n  }\n\n  lines.push('}');\n\n  return lines.join('\\n');\n}\n\n// ======================== Internal Rendering ========================\n\nfunction renderNode(node: GraphNode): string {\n  const attrs: Record<string, string> = {\n    label: node.label,\n    shape: node.shape,\n    style: node.style ? `\"filled,${node.style}\"` : 'filled',\n    fillcolor: node.fill,\n    color: node.stroke,\n    penwidth: String(node.penwidth),\n  };\n\n  if (node.height !== undefined) {\n    attrs['height'] = String(node.height);\n  }\n  if (node.width !== undefined) {\n    attrs['width'] = String(node.width);\n  }\n\n  // Merge extra attrs\n  if (node.attrs) {\n    for (const [key, value] of Object.entries(node.attrs)) {\n      attrs[key] = value;\n    }\n  }\n\n  return `${quoteId(node.id)} [${formatNodeAttrs(attrs)}];`;\n}\n\nfunction renderEdge(edge: GraphEdge): string {\n  const attrs: Record<string, string> = {\n    color: edge.color,\n    style: edge.style,\n    arrowhead: edge.arrowhead,\n  };\n\n  if (edge.label !== undefined) {\n    attrs['label'] = edge.label;\n  }\n  if (edge.penwidth !== undefined) {\n    attrs['penwidth'] = String(edge.penwidth);\n  }\n\n  // Merge extra attrs\n  if (edge.attrs) {\n    for (const [key, value] of Object.entries(edge.attrs)) {\n      attrs[key] = value;\n    }\n  }\n\n  return `${quoteId(edge.from)} -> ${quoteId(edge.to)} [${formatNodeAttrs(attrs)}];`;\n}\n\nfunction renderSubgraph(sg: Subgraph, indent: string): string[] {\n  const lines: string[] = [];\n  lines.push(`${indent}subgraph ${quoteId('cluster_' + sg.id)} {`);\n\n  if (sg.label !== undefined) {\n    lines.push(`${indent}    label=${quoteAttr(sg.label)};`);\n  }\n\n  if (sg.attrs) {\n    for (const [key, value] of Object.entries(sg.attrs)) {\n      lines.push(`${indent}    ${key}=${quoteAttr(value)};`);\n    }\n  }\n\n  for (const node of sg.nodes) {\n    lines.push(`${indent}    ${renderNode(node)}`);\n  }\n\n  lines.push(`${indent}}`);\n  return lines;\n}\n\n// ======================== DOT Quoting ========================\n\n/** Quotes a DOT identifier. Always quotes to be safe with special chars. */\nfunction quoteId(id: string): string {\n  // DOT keywords that must be quoted\n  if (/^[a-zA-Z_][a-zA-Z0-9_]*$/.test(id) && !isDotKeyword(id)) {\n    return id;\n  }\n  return `\"${escapeDot(id)}\"`;\n}\n\n/** Quotes a DOT attribute value. */\nfunction quoteAttr(value: string): string {\n  // Numbers don't need quoting\n  if (/^-?\\d+(\\.\\d+)?$/.test(value)) {\n    return value;\n  }\n  return `\"${escapeDot(value)}\"`;\n}\n\n/** Escapes special characters for DOT strings. */\nfunction escapeDot(s: string): string {\n  return s.replace(/\\\\/g, '\\\\\\\\').replace(/\"/g, '\\\\\"');\n}\n\n/**\n * Formats node/edge attributes where certain values (like style with commas)\n * need special handling.\n */\nfunction formatNodeAttrs(attrs: Record<string, string>): string {\n  return Object.entries(attrs)\n    .map(([key, value]) => {\n      // Style values that are already pre-quoted (contain the quote char)\n      if (value.startsWith('\"') && value.endsWith('\"')) {\n        return `${key}=${value}`;\n      }\n      return `${key}=${quoteAttr(value)}`;\n    })\n    .join(', ');\n}\n\n/** Formats simple key=value attributes. */\nfunction formatAttrs(attrs: Readonly<Record<string, string>>): string {\n  return Object.entries(attrs)\n    .map(([key, value]) => `${key}=${quoteAttr(value)}`)\n    .join(', ');\n}\n\n/** DOT language keywords that must be quoted when used as identifiers. */\nfunction isDotKeyword(id: string): boolean {\n  const lower = id.toLowerCase();\n  return lower === 'graph' || lower === 'digraph' || lower === 'subgraph'\n    || lower === 'node' || lower === 'edge' || lower === 'strict';\n}\n","/**\n * Convenience function for exporting a PetriNet to DOT format.\n *\n * @module export/dot-exporter\n */\n\nimport type { PetriNet } from '../core/petri-net.js';\nimport type { DotConfig } from './petri-net-mapper.js';\nimport { mapToGraph } from './petri-net-mapper.js';\nimport { renderDot } from './dot-renderer.js';\n\n/**\n * Exports a PetriNet to DOT (Graphviz) format.\n *\n * @param net the Petri net to export\n * @param config optional export configuration\n * @returns DOT string suitable for rendering with Graphviz\n */\nexport function dotExport(net: PetriNet, config?: DotConfig): string {\n  return renderDot(mapToGraph(net, config));\n}\n"],"mappings":";;;;;;;AA8CA,IAAM,cAAgD;AAAA,EACpD,OAAa,EAAE,OAAO,UAAW,MAAM,WAAW,QAAQ,WAAW,UAAU,KAAK,OAAO,KAAK;AAAA,EAChG,OAAa,EAAE,OAAO,UAAW,MAAM,WAAW,QAAQ,WAAW,UAAU,GAAK,OAAO,KAAK;AAAA,EAChG,KAAa,EAAE,OAAO,UAAW,MAAM,WAAW,QAAQ,WAAW,UAAU,GAAK,OAAO,KAAK;AAAA,EAChG,aAAa,EAAE,OAAO,UAAW,MAAM,WAAW,QAAQ,WAAW,UAAU,GAAK,OAAO,UAAU,OAAO,KAAK;AAAA,EACjH,YAAa,EAAE,OAAO,OAAW,MAAM,WAAW,QAAQ,WAAW,UAAU,GAAK,QAAQ,KAAK,OAAO,IAAI;AAC9G;AAEA,IAAM,cAAgD;AAAA,EACpD,OAAW,EAAE,OAAO,WAAW,OAAO,SAAU,WAAW,SAAS;AAAA,EACpE,QAAW,EAAE,OAAO,WAAW,OAAO,SAAU,WAAW,SAAS;AAAA,EACpE,WAAW,EAAE,OAAO,WAAW,OAAO,SAAU,WAAW,OAAO;AAAA,EAClE,MAAW,EAAE,OAAO,WAAW,OAAO,UAAU,WAAW,SAAS;AAAA,EACpE,OAAW,EAAE,OAAO,WAAW,OAAO,QAAU,WAAW,UAAU,UAAU,EAAI;AACrF;AAEO,IAAM,OAAkB,EAAE,QAAQ,8BAA8B,UAAU,IAAI,UAAU,GAAG;AAE3F,IAAM,QAAoB,EAAE,SAAS,KAAK,SAAS,KAAK;AAQxD,SAAS,UAAU,UAAoC;AAC5D,SAAO,YAAY,QAAQ;AAC7B;AAGO,SAAS,UAAU,SAAmC;AAC3D,SAAO,YAAY,OAAO;AAC5B;;;ACnDO,IAAM,qBAAgC;AAAA,EAC3C,WAAW;AAAA,EACX,WAAW;AAAA,EACX,eAAe;AAAA,EACf,cAAc;AAChB;AAKO,SAAS,SAAS,MAAsB;AAC7C,SAAO,KAAK,QAAQ,kBAAkB,GAAG;AAC3C;AAGO,SAAS,WAAW,KAAe,SAAoB,oBAA2B;AACvF,QAAM,SAAS,cAAc,GAAG;AAChC,QAAM,WAAW,OAAO,qBAAqB,oBAAI,IAAY;AAE7D,QAAM,QAAqB,CAAC;AAC5B,QAAM,QAAqB,CAAC;AAG5B,aAAW,CAAC,MAAM,IAAI,KAAK,QAAQ;AACjC,UAAM,WAAW,cAAc,MAAM,SAAS,IAAI,IAAI,CAAC;AACvD,UAAM,QAAQ,UAAU,QAAQ;AAChC,UAAM,KAAK;AAAA,MACT,IAAI,OAAO,SAAS,IAAI;AAAA,MACxB,OAAO;AAAA,MACP,OAAO,MAAM;AAAA,MACb,MAAM,MAAM;AAAA,MACZ,QAAQ,MAAM;AAAA,MACd,UAAU,MAAM;AAAA,MAChB,YAAY;AAAA,MACZ,OAAO,MAAM;AAAA,MACb,OAAO,MAAM;AAAA,MACb,OAAO,EAAE,QAAQ,MAAM,WAAW,OAAO;AAAA,IAC3C,CAAC;AAAA,EACH;AAGA,aAAW,KAAK,IAAI,aAAa;AAC/B,UAAM,QAAQ,UAAU,YAAY;AACpC,UAAM,KAAK;AAAA,MACT,IAAI,OAAO,SAAS,EAAE,IAAI;AAAA,MAC1B,OAAO,gBAAgB,GAAG,MAAM;AAAA,MAChC,OAAO,MAAM;AAAA,MACb,MAAM,MAAM;AAAA,MACZ,QAAQ,MAAM;AAAA,MACd,UAAU,MAAM;AAAA,MAChB,YAAY,EAAE;AAAA,MACd,QAAQ,MAAM;AAAA,MACd,OAAO,MAAM;AAAA,IACf,CAAC;AAAA,EACH;AAGA,aAAW,KAAK,IAAI,aAAa;AAC/B,UAAM,MAAM,OAAO,SAAS,EAAE,IAAI;AAGlC,eAAW,QAAQ,EAAE,YAAY;AAC/B,YAAM,MAAM,OAAO,SAAS,KAAK,MAAM,IAAI;AAC3C,YAAM,aAAa,UAAU,OAAO;AACpC,UAAI;AACJ,cAAQ,KAAK,MAAM;AAAA,QACjB,KAAK;AACH,kBAAQ,OAAS,KAAK,KAAK;AAC3B;AAAA,QACF,KAAK;AACH,kBAAQ;AACR;AAAA,QACF,KAAK;AACH,kBAAQ,SAAS,KAAK,OAAO;AAC7B;AAAA,MACJ;AACA,YAAM,KAAK;AAAA,QACT,MAAM;AAAA,QACN,IAAI;AAAA,QACJ;AAAA,QACA,OAAO,WAAW;AAAA,QAClB,OAAO,WAAW;AAAA,QAClB,WAAW,WAAW;AAAA,QACtB,SAAS;AAAA,MACX,CAAC;AAAA,IACH;AAGA,QAAI,EAAE,eAAe,MAAM;AACzB,YAAM,KAAK,GAAG,YAAY,KAAK,EAAE,YAAY,IAAI,CAAC;AAAA,IACpD;AAGA,eAAW,OAAO,EAAE,YAAY;AAC9B,YAAM,MAAM,OAAO,SAAS,IAAI,MAAM,IAAI;AAC1C,YAAM,WAAW,UAAU,WAAW;AACtC,YAAM,KAAK;AAAA,QACT,MAAM;AAAA,QACN,IAAI;AAAA,QACJ,OAAO,SAAS;AAAA,QAChB,OAAO,SAAS;AAAA,QAChB,WAAW,SAAS;AAAA,QACpB,SAAS;AAAA,MACX,CAAC;AAAA,IACH;AAGA,eAAW,KAAK,EAAE,OAAO;AACvB,YAAM,MAAM,OAAO,SAAS,EAAE,MAAM,IAAI;AACxC,YAAM,YAAY,UAAU,MAAM;AAClC,YAAM,KAAK;AAAA,QACT,MAAM;AAAA,QACN,IAAI;AAAA,QACJ,OAAO;AAAA,QACP,OAAO,UAAU;AAAA,QACjB,OAAO,UAAU;AAAA,QACjB,WAAW,UAAU;AAAA,QACrB,SAAS;AAAA,MACX,CAAC;AAAA,IACH;AAGA,UAAM,mBAAmB,EAAE,eAAe,OACtC,IAAI,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,IAAI,OAAK,EAAE,IAAI,CAAC,IAC9C,oBAAI,IAAY;AACpB,eAAW,OAAO,EAAE,QAAQ;AAC1B,UAAI,CAAC,iBAAiB,IAAI,IAAI,MAAM,IAAI,GAAG;AACzC,cAAM,MAAM,OAAO,SAAS,IAAI,MAAM,IAAI;AAC1C,cAAM,aAAa,UAAU,OAAO;AACpC,cAAM,KAAK;AAAA,UACT,MAAM;AAAA,UACN,IAAI;AAAA,UACJ,OAAO;AAAA,UACP,OAAO,WAAW;AAAA,UAClB,OAAO,WAAW;AAAA,UAClB,WAAW,WAAW;AAAA,UACtB,UAAU,WAAW;AAAA,UACrB,SAAS;AAAA,QACX,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AAAA,IACL,IAAI,SAAS,IAAI,IAAI;AAAA,IACrB,SAAS,OAAO;AAAA,IAChB;AAAA,IACA;AAAA,IACA,WAAW,CAAC;AAAA,IACZ,YAAY;AAAA,MACV,SAAS,OAAO,MAAM,OAAO;AAAA,MAC7B,SAAS,OAAO,MAAM,OAAO;AAAA,MAC7B,UAAU,KAAK;AAAA,IACjB;AAAA,IACA,cAAc;AAAA,MACZ,UAAU,KAAK;AAAA,MACf,UAAU,OAAO,KAAK,QAAQ;AAAA,IAChC;AAAA,IACA,cAAc;AAAA,MACZ,UAAU,KAAK;AAAA,MACf,UAAU,OAAO,KAAK,QAAQ;AAAA,IAChC;AAAA,EACF;AACF;AASA,SAAS,cAAc,KAAuC;AAC5D,QAAM,MAAM,oBAAI,IAAuB;AAEvC,WAAS,OAAO,MAAyB;AACvC,QAAI,OAAO,IAAI,IAAI,IAAI;AACvB,QAAI,CAAC,MAAM;AACT,aAAO,EAAE,aAAa,OAAO,aAAa,MAAM;AAChD,UAAI,IAAI,MAAM,IAAI;AAAA,IACpB;AACA,WAAO;AAAA,EACT;AAEA,aAAW,KAAK,IAAI,aAAa;AAC/B,eAAW,QAAQ,EAAE,YAAY;AAC/B,aAAO,KAAK,MAAM,IAAI,EAAE,cAAc;AAAA,IACxC;AACA,QAAI,EAAE,eAAe,MAAM;AACzB,iBAAW,KAAK,EAAE,aAAa,GAAG;AAChC,eAAO,EAAE,IAAI,EAAE,cAAc;AAAA,MAC/B;AAAA,IACF;AACA,eAAW,OAAO,EAAE,YAAY;AAC9B,aAAO,IAAI,MAAM,IAAI;AAAA,IACvB;AACA,eAAW,KAAK,EAAE,OAAO;AACvB,aAAO,EAAE,MAAM,IAAI,EAAE,cAAc;AAAA,IACrC;AACA,eAAW,OAAO,EAAE,QAAQ;AAC1B,aAAO,IAAI,MAAM,IAAI;AAAA,IACvB;AAAA,EACF;AAEA,SAAO;AACT;AAEA,SAAS,cAAc,MAAiB,eAAsC;AAC5E,MAAI,cAAe,QAAO;AAC1B,MAAI,CAAC,KAAK,YAAa,QAAO;AAC9B,MAAI,CAAC,KAAK,YAAa,QAAO;AAC9B,SAAO;AACT;AAIA,SAAS,gBAAgB,GAAe,QAA2B;AACjE,QAAM,QAAQ,CAAC,EAAE,IAAI;AAErB,MAAI,OAAO,eAAe;AACxB,UAAM,IAAI,SAAS,EAAE,MAAM;AAC3B,UAAM,IAAI,OAAO,EAAE,MAAM;AACzB,UAAM,MAAM,YAAY,EAAE,MAAM,IAAI,OAAO,CAAC,IAAI;AAChD,UAAM,KAAK,IAAI,CAAC,KAAK,GAAG,KAAK;AAAA,EAC/B;AAEA,MAAI,OAAO,gBAAgB,EAAE,aAAa,GAAG;AAC3C,UAAM,KAAK,QAAQ,EAAE,QAAQ,EAAE;AAAA,EACjC;AAEA,SAAO,MAAM,KAAK,GAAG;AACvB;AAEA,SAAS,YAAY,cAAsB,KAAU,aAAyC;AAC5F,QAAM,WAAW,UAAU,QAAQ;AAEnC,UAAQ,IAAI,MAAM;AAAA,IAChB,KAAK,SAAS;AACZ,YAAM,MAAM,OAAO,SAAS,IAAI,MAAM,IAAI;AAC1C,aAAO,CAAC;AAAA,QACN,MAAM;AAAA,QACN,IAAI;AAAA,QACJ,OAAO,eAAe;AAAA,QACtB,OAAO,SAAS;AAAA,QAChB,OAAO,SAAS;AAAA,QAChB,WAAW,SAAS;AAAA,QACpB,SAAS;AAAA,MACX,CAAC;AAAA,IACH;AAAA,IAEA,KAAK,iBAAiB;AACpB,YAAM,MAAM,OAAO,SAAS,IAAI,GAAG,IAAI;AACvC,YAAM,SAAS,cAAc,cAAc,MAAM,MAAM,WAAW,IAAI,KAAK;AAC3E,aAAO,CAAC;AAAA,QACN,MAAM;AAAA,QACN,IAAI;AAAA,QACJ;AAAA,QACA,OAAO,SAAS;AAAA,QAChB,OAAO;AAAA,QACP,WAAW,SAAS;AAAA,QACpB,SAAS;AAAA,MACX,CAAC;AAAA,IACH;AAAA,IAEA,KAAK;AACH,aAAO,IAAI,SAAS,QAAQ,OAAK,YAAY,cAAc,GAAG,WAAW,CAAC;AAAA,IAE5E,KAAK,OAAO;AACV,YAAM,QAAqB,CAAC;AAC5B,iBAAW,SAAS,IAAI,UAAU;AAChC,cAAM,QAAQ,iBAAiB,KAAK;AACpC,cAAM,KAAK,GAAG,YAAY,cAAc,OAAO,KAAK,CAAC;AAAA,MACvD;AACA,aAAO;AAAA,IACT;AAAA,IAEA,KAAK;AACH,aAAO,YAAY,cAAc,IAAI,OAAO,SAAS,IAAI,OAAO,IAAI;AAAA,EACxE;AACF;AAEA,SAAS,iBAAiB,KAAyB;AACjD,UAAQ,IAAI,MAAM;AAAA,IAChB,KAAK;AAAS,aAAO,IAAI,MAAM;AAAA,IAC/B,KAAK;AAAW,aAAO,SAAS,IAAI,OAAO;AAAA,IAC3C,KAAK;AAAiB,aAAO,IAAI,GAAG;AAAA,IACpC,KAAK;AAAA,IACL,KAAK;AACH,aAAO;AAAA,EACX;AACF;;;AChTO,SAAS,UAAU,OAAsB;AAC9C,QAAM,QAAkB,CAAC;AAEzB,QAAM,KAAK,WAAW,QAAQ,MAAM,EAAE,CAAC,IAAI;AAG3C,QAAM,KAAK,eAAe,MAAM,OAAO,GAAG;AAC1C,aAAW,CAAC,KAAK,KAAK,KAAK,OAAO,QAAQ,MAAM,UAAU,GAAG;AAC3D,UAAM,KAAK,OAAO,GAAG,IAAI,UAAU,KAAK,CAAC,GAAG;AAAA,EAC9C;AAGA,MAAI,OAAO,KAAK,MAAM,YAAY,EAAE,SAAS,GAAG;AAC9C,UAAM,KAAK,aAAa,YAAY,MAAM,YAAY,CAAC,IAAI;AAAA,EAC7D;AAGA,MAAI,OAAO,KAAK,MAAM,YAAY,EAAE,SAAS,GAAG;AAC9C,UAAM,KAAK,aAAa,YAAY,MAAM,YAAY,CAAC,IAAI;AAAA,EAC7D;AAEA,QAAM,KAAK,EAAE;AAGb,aAAW,MAAM,MAAM,WAAW;AAChC,UAAM,KAAK,GAAG,eAAe,IAAI,MAAM,CAAC;AACxC,UAAM,KAAK,EAAE;AAAA,EACf;AAGA,aAAW,QAAQ,MAAM,OAAO;AAC9B,UAAM,KAAK,OAAO,WAAW,IAAI,CAAC,EAAE;AAAA,EACtC;AAEA,MAAI,MAAM,MAAM,SAAS,GAAG;AAC1B,UAAM,KAAK,EAAE;AAAA,EACf;AAGA,aAAW,QAAQ,MAAM,OAAO;AAC9B,UAAM,KAAK,OAAO,WAAW,IAAI,CAAC,EAAE;AAAA,EACtC;AAEA,QAAM,KAAK,GAAG;AAEd,SAAO,MAAM,KAAK,IAAI;AACxB;AAIA,SAAS,WAAW,MAAyB;AAC3C,QAAM,QAAgC;AAAA,IACpC,OAAO,KAAK;AAAA,IACZ,OAAO,KAAK;AAAA,IACZ,OAAO,KAAK,QAAQ,WAAW,KAAK,KAAK,MAAM;AAAA,IAC/C,WAAW,KAAK;AAAA,IAChB,OAAO,KAAK;AAAA,IACZ,UAAU,OAAO,KAAK,QAAQ;AAAA,EAChC;AAEA,MAAI,KAAK,WAAW,QAAW;AAC7B,UAAM,QAAQ,IAAI,OAAO,KAAK,MAAM;AAAA,EACtC;AACA,MAAI,KAAK,UAAU,QAAW;AAC5B,UAAM,OAAO,IAAI,OAAO,KAAK,KAAK;AAAA,EACpC;AAGA,MAAI,KAAK,OAAO;AACd,eAAW,CAAC,KAAK,KAAK,KAAK,OAAO,QAAQ,KAAK,KAAK,GAAG;AACrD,YAAM,GAAG,IAAI;AAAA,IACf;AAAA,EACF;AAEA,SAAO,GAAG,QAAQ,KAAK,EAAE,CAAC,KAAK,gBAAgB,KAAK,CAAC;AACvD;AAEA,SAAS,WAAW,MAAyB;AAC3C,QAAM,QAAgC;AAAA,IACpC,OAAO,KAAK;AAAA,IACZ,OAAO,KAAK;AAAA,IACZ,WAAW,KAAK;AAAA,EAClB;AAEA,MAAI,KAAK,UAAU,QAAW;AAC5B,UAAM,OAAO,IAAI,KAAK;AAAA,EACxB;AACA,MAAI,KAAK,aAAa,QAAW;AAC/B,UAAM,UAAU,IAAI,OAAO,KAAK,QAAQ;AAAA,EAC1C;AAGA,MAAI,KAAK,OAAO;AACd,eAAW,CAAC,KAAK,KAAK,KAAK,OAAO,QAAQ,KAAK,KAAK,GAAG;AACrD,YAAM,GAAG,IAAI;AAAA,IACf;AAAA,EACF;AAEA,SAAO,GAAG,QAAQ,KAAK,IAAI,CAAC,OAAO,QAAQ,KAAK,EAAE,CAAC,KAAK,gBAAgB,KAAK,CAAC;AAChF;AAEA,SAAS,eAAe,IAAc,QAA0B;AAC9D,QAAM,QAAkB,CAAC;AACzB,QAAM,KAAK,GAAG,MAAM,YAAY,QAAQ,aAAa,GAAG,EAAE,CAAC,IAAI;AAE/D,MAAI,GAAG,UAAU,QAAW;AAC1B,UAAM,KAAK,GAAG,MAAM,aAAa,UAAU,GAAG,KAAK,CAAC,GAAG;AAAA,EACzD;AAEA,MAAI,GAAG,OAAO;AACZ,eAAW,CAAC,KAAK,KAAK,KAAK,OAAO,QAAQ,GAAG,KAAK,GAAG;AACnD,YAAM,KAAK,GAAG,MAAM,OAAO,GAAG,IAAI,UAAU,KAAK,CAAC,GAAG;AAAA,IACvD;AAAA,EACF;AAEA,aAAW,QAAQ,GAAG,OAAO;AAC3B,UAAM,KAAK,GAAG,MAAM,OAAO,WAAW,IAAI,CAAC,EAAE;AAAA,EAC/C;AAEA,QAAM,KAAK,GAAG,MAAM,GAAG;AACvB,SAAO;AACT;AAKA,SAAS,QAAQ,IAAoB;AAEnC,MAAI,2BAA2B,KAAK,EAAE,KAAK,CAAC,aAAa,EAAE,GAAG;AAC5D,WAAO;AAAA,EACT;AACA,SAAO,IAAI,UAAU,EAAE,CAAC;AAC1B;AAGA,SAAS,UAAU,OAAuB;AAExC,MAAI,kBAAkB,KAAK,KAAK,GAAG;AACjC,WAAO;AAAA,EACT;AACA,SAAO,IAAI,UAAU,KAAK,CAAC;AAC7B;AAGA,SAAS,UAAU,GAAmB;AACpC,SAAO,EAAE,QAAQ,OAAO,MAAM,EAAE,QAAQ,MAAM,KAAK;AACrD;AAMA,SAAS,gBAAgB,OAAuC;AAC9D,SAAO,OAAO,QAAQ,KAAK,EACxB,IAAI,CAAC,CAAC,KAAK,KAAK,MAAM;AAErB,QAAI,MAAM,WAAW,GAAG,KAAK,MAAM,SAAS,GAAG,GAAG;AAChD,aAAO,GAAG,GAAG,IAAI,KAAK;AAAA,IACxB;AACA,WAAO,GAAG,GAAG,IAAI,UAAU,KAAK,CAAC;AAAA,EACnC,CAAC,EACA,KAAK,IAAI;AACd;AAGA,SAAS,YAAY,OAAiD;AACpE,SAAO,OAAO,QAAQ,KAAK,EACxB,IAAI,CAAC,CAAC,KAAK,KAAK,MAAM,GAAG,GAAG,IAAI,UAAU,KAAK,CAAC,EAAE,EAClD,KAAK,IAAI;AACd;AAGA,SAAS,aAAa,IAAqB;AACzC,QAAM,QAAQ,GAAG,YAAY;AAC7B,SAAO,UAAU,WAAW,UAAU,aAAa,UAAU,cACxD,UAAU,UAAU,UAAU,UAAU,UAAU;AACzD;;;AC5KO,SAAS,UAAU,KAAe,QAA4B;AACnE,SAAO,UAAU,WAAW,KAAK,MAAM,CAAC;AAC1C;","names":[]}
+{"version":3,"sources":[],"sourcesContent":[],"mappings":"","names":[]}

package/dist/index.d.ts

@@ -1,5 +1,7 @@
 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-C3Jy5HCt.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-C3Jy5HCt.js';
+import { E as EventStore } from './event-store-Y8q_wapJ.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-Y8q_wapJ.js';
 
 /**
  * @module marking
@@ -140,155 +142,6 @@ declare function containsAll(snapshot: Uint32Array, mask: Uint32Array): boolean;
 /** Checks if any bit in mask is set in snapshot. */
 declare function intersects(snapshot: Uint32Array, mask: Uint32Array): boolean;
 
-/**
- * Events emitted during Petri Net execution.
- * Discriminated union capturing all observable state changes.
- */
-type NetEvent = ExecutionStarted | ExecutionCompleted | TransitionEnabled | TransitionClockRestarted | TransitionStarted | TransitionCompleted | TransitionFailed | TransitionTimedOut | ActionTimedOut | TokenAdded | TokenRemoved | LogMessage | MarkingSnapshot;
-interface ExecutionStarted {
-    readonly type: 'execution-started';
-    readonly timestamp: number;
-    readonly netName: string;
-    readonly executionId: string;
-}
-interface ExecutionCompleted {
-    readonly type: 'execution-completed';
-    readonly timestamp: number;
-    readonly netName: string;
-    readonly executionId: string;
-    readonly totalDurationMs: number;
-}
-interface TransitionEnabled {
-    readonly type: 'transition-enabled';
-    readonly timestamp: number;
-    readonly transitionName: string;
-}
-interface TransitionClockRestarted {
-    readonly type: 'transition-clock-restarted';
-    readonly timestamp: number;
-    readonly transitionName: string;
-}
-interface TransitionStarted {
-    readonly type: 'transition-started';
-    readonly timestamp: number;
-    readonly transitionName: string;
-    readonly consumedTokens: readonly Token<unknown>[];
-}
-interface TransitionCompleted {
-    readonly type: 'transition-completed';
-    readonly timestamp: number;
-    readonly transitionName: string;
-    readonly producedTokens: readonly Token<unknown>[];
-    readonly durationMs: number;
-}
-interface TransitionFailed {
-    readonly type: 'transition-failed';
-    readonly timestamp: number;
-    readonly transitionName: string;
-    readonly errorMessage: string;
-    readonly exceptionType: string;
-    /** Original stack trace, if available. */
-    readonly stack?: string;
-}
-/**
- * Emitted when a transition exceeds its deadline (upper time bound) without firing.
- * Classical TPN semantics: transition is forcibly disabled by the executor in
- * `updateDirtyTransitions()` when elapsed time exceeds `latest(timing)`.
- */
-interface TransitionTimedOut {
-    readonly type: 'transition-timed-out';
-    readonly timestamp: number;
-    readonly transitionName: string;
-    /** The deadline that was exceeded, in milliseconds from enablement. */
-    readonly deadlineMs: number;
-    /** Actual time elapsed since enablement, in milliseconds. */
-    readonly actualDurationMs: number;
-}
-interface ActionTimedOut {
-    readonly type: 'action-timed-out';
-    readonly timestamp: number;
-    readonly transitionName: string;
-    readonly timeoutMs: number;
-}
-interface TokenAdded {
-    readonly type: 'token-added';
-    readonly timestamp: number;
-    readonly placeName: string;
-    readonly token: Token<unknown>;
-}
-interface TokenRemoved {
-    readonly type: 'token-removed';
-    readonly timestamp: number;
-    readonly placeName: string;
-    readonly token: Token<unknown>;
-}
-interface LogMessage {
-    readonly type: 'log-message';
-    readonly timestamp: number;
-    readonly transitionName: string;
-    readonly logger: string;
-    readonly level: string;
-    readonly message: string;
-    readonly error: string | null;
-    readonly errorMessage: string | null;
-}
-/**
- * Snapshot of the full marking (token state) at a point in time.
- * Emitted at two points during execution:
- * 1. After initialization (before the main loop) — captures the initial marking
- * 2. Before the execution-completed event — captures the final marking
- */
-interface MarkingSnapshot {
-    readonly type: 'marking-snapshot';
-    readonly timestamp: number;
-    /** Place name -> tokens in that place at snapshot time. Only non-empty places are included. */
-    readonly marking: ReadonlyMap<string, readonly Token<unknown>[]>;
-}
-/** Extracts transition name from events that have one. Returns null otherwise. */
-declare function eventTransitionName(event: NetEvent): string | null;
-/** Checks if the event is a failure type. */
-declare function isFailureEvent(event: NetEvent): boolean;
-
-/**
- * Storage for events emitted during Petri net execution.
- */
-interface EventStore {
-    /** Appends an event to the store. */
-    append(event: NetEvent): void;
-    /** Returns all events in chronological order. */
-    events(): readonly NetEvent[];
-    /** Whether this store is enabled (false = skip event creation). */
-    isEnabled(): boolean;
-    /** Number of events captured. */
-    size(): number;
-    /** Whether no events have been captured. */
-    isEmpty(): boolean;
-}
-/** Returns events matching a predicate. */
-declare function filterEvents(store: EventStore, predicate: (e: NetEvent) => boolean): NetEvent[];
-/** Returns events of a specific type. */
-declare function eventsOfType<T extends NetEvent['type']>(store: EventStore, type: T): Extract<NetEvent, {
-    type: T;
-}>[];
-/** Returns all events for a specific transition. */
-declare function transitionEvents(store: EventStore, transitionName: string): NetEvent[];
-/** Returns all failure events. */
-declare function failures(store: EventStore): NetEvent[];
-declare class InMemoryEventStore implements EventStore {
-    private readonly _events;
-    append(event: NetEvent): void;
-    events(): readonly NetEvent[];
-    isEnabled(): boolean;
-    size(): number;
-    isEmpty(): boolean;
-    /** Clears all stored events. */
-    clear(): void;
-}
-/** Returns a no-op event store that discards all events. */
-declare function noopEventStore(): EventStore;
-/** Creates a new in-memory event store. */
-declare function inMemoryEventStore(): InMemoryEventStore;
-
 /**
  * Interface for Petri net executors.
  */
@@ -495,4 +348,4 @@ declare function validateOutSpec(tName: string, spec: Out, producedPlaceNames: S
  */
 declare function produceTimeoutOutput(context: TransitionContext, timeoutChild: Out): void;
 
-export { type ActionTimedOut, BitmapNetExecutor, type BitmapNetExecutorOptions, type CardinalityCheck, CompiledNet, EnvironmentPlace, type EventStore, type ExecutionCompleted, type ExecutionStarted, type GuardSpec, InMemoryEventStore, type LogMessage, Marking, type MarkingSnapshot, type NetEvent, Out, OutViolationError, PetriNet, type PetriNetExecutor, Place, Token, type TokenAdded, type TokenRemoved, Transition, type TransitionClockRestarted, type TransitionCompleted, TransitionContext, type TransitionEnabled, type TransitionFailed, type TransitionStarted, type TransitionTimedOut, clearBit, containsAll, eventTransitionName, eventsOfType, failures, filterEvents, inMemoryEventStore, intersects, isFailureEvent, noopEventStore, produceTimeoutOutput, setBit, testBit, transitionEvents, validateOutSpec };
+export { BitmapNetExecutor, type BitmapNetExecutorOptions, type CardinalityCheck, CompiledNet, EnvironmentPlace, EventStore, type GuardSpec, Marking, Out, OutViolationError, PetriNet, type PetriNetExecutor, Place, Token, Transition, TransitionContext, clearBit, containsAll, intersects, produceTimeoutOutput, setBit, testBit, validateOutSpec };

package/dist/index.js

@@ -1,14 +1,3 @@
-import {
-  MAX_DURATION_MS,
-  deadline,
-  delayed,
-  earliest,
-  exact,
-  hasDeadline,
-  immediate,
-  latest,
-  window
-} from "./chunk-FN773SSE.js";
 import {
   allPlaces,
   and,
@@ -21,6 +10,17 @@ import {
   xor,
   xorPlaces
 } from "./chunk-VQ4XMJTD.js";
+import {
+  MAX_DURATION_MS,
+  deadline,
+  delayed,
+  earliest,
+  exact,
+  hasDeadline,
+  immediate,
+  latest,
+  window
+} from "./chunk-FN773SSE.js";
 
 // src/core/token.ts
 var UNIT_TOKEN = Object.freeze({