libpetri 1.7.0 → 1.8.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/{chunk-7EKL7INR.js → chunk-JNHADILD.js} +5 -3
- package/dist/chunk-JNHADILD.js.map +1 -0
- package/dist/debug/index.d.ts +76 -19
- package/dist/debug/index.js +54 -9
- package/dist/debug/index.js.map +1 -1
- package/dist/doclet/index.d.ts +1 -1
- package/dist/doclet/index.js +1 -1
- package/dist/dot-exporter-MBIV5R67.js +8 -0
- package/dist/{event-store-DePCZb33.d.ts → event-store-BnyHh3TF.d.ts} +1 -1
- package/dist/export/index.d.ts +3 -1
- package/dist/export/index.js +1 -1
- package/dist/index.d.ts +4 -4
- package/dist/index.js.map +1 -1
- package/dist/{petri-net-DrTpTRNy.d.ts → petri-net-D-GN9g_D.d.ts} +9 -0
- package/dist/verification/index.d.ts +1 -1
- package/package.json +1 -1
- package/dist/chunk-7EKL7INR.js.map +0 -1
- package/dist/dot-exporter-7B2ZAWDC.js +0 -8
- /package/dist/{dot-exporter-7B2ZAWDC.js.map → dot-exporter-MBIV5R67.js.map} +0 -0
package/dist/doclet/index.d.ts
CHANGED
package/dist/doclet/index.js
CHANGED
|
@@ -108,7 +108,7 @@ ${svgContent}
|
|
|
108
108
|
|
|
109
109
|
// src/doclet/petri-net-plugin.ts
|
|
110
110
|
async function getDotExport() {
|
|
111
|
-
const mod = await import("../dot-exporter-
|
|
111
|
+
const mod = await import("../dot-exporter-MBIV5R67.js");
|
|
112
112
|
return mod.dotExport;
|
|
113
113
|
}
|
|
114
114
|
var TAG_NAME = "@petrinet";
|
package/dist/export/index.d.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { a as PetriNet } from '../petri-net-
|
|
1
|
+
import { a as PetriNet } from '../petri-net-D-GN9g_D.js';
|
|
2
2
|
|
|
3
3
|
/**
|
|
4
4
|
* Format-agnostic typed graph model.
|
|
@@ -92,6 +92,8 @@ interface GraphStyle {
|
|
|
92
92
|
readonly ranksep: number;
|
|
93
93
|
readonly forcelabels: boolean;
|
|
94
94
|
readonly overlap: boolean;
|
|
95
|
+
readonly outputorder: string;
|
|
96
|
+
readonly splines: string;
|
|
95
97
|
}
|
|
96
98
|
declare const FONT: FontStyle;
|
|
97
99
|
declare const GRAPH: GraphStyle;
|
package/dist/export/index.js
CHANGED
package/dist/index.d.ts
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
|
-
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-
|
|
2
|
-
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-
|
|
3
|
-
import { E as EventStore } from './event-store-
|
|
4
|
-
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-
|
|
1
|
+
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';
|
|
2
|
+
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';
|
|
3
|
+
import { E as EventStore } from './event-store-BnyHh3TF.js';
|
|
4
|
+
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';
|
|
5
5
|
|
|
6
6
|
/**
|
|
7
7
|
* @module marking
|