libpetri 2.3.2 → 2.4.0

package/dist/{petri-net-CKZYPOsL.d.ts → petri-net-RpZxG0Io.d.ts}

@@ -1363,6 +1363,40 @@ declare class PetriNetBuilder {
     compose(instance: Instance<unknown>): this;
     compose(instance: Instance<unknown>, portMappings: ReadonlyMap<string, Place<unknown>> | Record<string, Place<unknown>>): this;
     compose(instance: Instance<unknown>, bind: (b: ComposeBindings) => void): this;
+    compose(def: SubnetDef<unknown>): this;
+    /**
+     * Composes a subnet {@link SubnetDef} **directly** into this builder per
+     * **MOD-025** — **without instantiation**, and without the prefix-renaming
+     * of {@link SubnetDef.instantiate}.
+     *
+     * Every body place and transition is added under its **original**
+     * (un-prefixed) name. Places merge into this builder by name: a body place
+     * whose name equals an enclosing-net place *is* that place in the composed
+     * flat net. This is the mode for wiring a subnet in as a single shared copy.
+     *
+     * Direct composition is **order-independent**: composing the same set of
+     * subnets in any order yields the same flat net, because merging is by
+     * place name and not by a probe of the builder's place set at call time —
+     * contrast the no-interface body-inference branch of {@link composeAuto}
+     * (MOD-024), which is order-sensitive.
+     *
+     * For multiple *independent* copies — each with isolated per-instance state
+     * per [MOD-012] — use {@link SubnetDef.instantiate} + the `compose(instance)`
+     * overload instead.
+     *
+     * Rejections: a body transition whose name already exists in this builder
+     * (use `instantiate(prefix)` for independent copies); a subnet whose
+     * interface declares any channel (direct composition does not bind
+     * channels — use `instantiate` + the channel-binding `compose` overload).
+     *
+     * Token-type conflicts on a same-named place cannot be detected: TS
+     * {@link Place} equality is name-only at runtime (the documented carve-out,
+     * same as MOD-024).
+     *
+     * @throws when the subnet declares channels, or a body transition name
+     *         collides with a transition already in this builder.
+     */
+    private composeDirect;
     /**
      * Identity-default auto-compose per **MOD-024**.
      *

package/dist/verification/index.d.ts

@@ -1,5 +1,5 @@
-import { b as Transition, a as Place, P as PetriNet, E as EnvironmentPlace, aG as MarkingState, aH as PInvariant, aI as MarkingStateBuilder, aJ as SmtProperty, aK as SmtVerificationResult } from '../petri-net-CKZYPOsL.js';
-export { aL as DeadlockFree, aM as MutualExclusion, aN as PlaceBound, aO as Proven, aP as SmtStatistics, aQ as TokenSupplier, aR as Unknown, aS as Unreachable, aT as Verdict, X as VerificationHarness, Y as VerificationResult, aU as Violated, aV as deadlockFree, aW as isProven, aX as isViolated, aY as mutualExclusion, aZ as pInvariant, a_ as pInvariantToString, a$ as placeBound, b0 as propertyDescription, b1 as unreachable } from '../petri-net-CKZYPOsL.js';
+import { b as Transition, a as Place, P as PetriNet, E as EnvironmentPlace, aG as MarkingState, aH as PInvariant, aI as MarkingStateBuilder, aJ as SmtProperty, aK as SmtVerificationResult } from '../petri-net-RpZxG0Io.js';
+export { aL as DeadlockFree, aM as MutualExclusion, aN as PlaceBound, aO as Proven, aP as SmtStatistics, aQ as TokenSupplier, aR as Unknown, aS as Unreachable, aT as Verdict, X as VerificationHarness, Y as VerificationResult, aU as Violated, aV as deadlockFree, aW as isProven, aX as isViolated, aY as mutualExclusion, aZ as pInvariant, a_ as pInvariantToString, a$ as placeBound, b0 as propertyDescription, b1 as unreachable } from '../petri-net-RpZxG0Io.js';
 import { Expr, init, Bool, FuncDecl } from 'z3-solver';
 
 /**

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "libpetri",
-  "version": "2.3.2",
+  "version": "2.4.0",
   "description": "Coloured Time Petri Net engine — TypeScript port",
   "homepage": "https://libpetri.org",
   "repository": {