This is the petri Reference Manual, version 0.0.1, generated automatically by Declt version 4.0 beta 2 "William Riker" on Tue Jul 15 06:14:13 2025 GMT+0.
The main system appears first, followed by any subsystem dependency.
petriAn implementation of Petri nets
Michał "phoe" Herda <phoe@disroot.org>
MIT
0.0.1
alexandria (system).
closer-mop (system).
1am (system).
split-sequence (system).
phoe-toolbox/bag (system).
petri.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
petri/petri.lisppetri (system).
bag-names (function).
bag-of (function).
(setf bag-of) (function).
initialize-instance (method).
initialize-instance (method).
make-petri-net (function).
petri-net (macro).
petri-net (class).
petri-net-error (function).
petri-net-error (condition).
print-object (method).
print-object (method).
simple-petri-net-error (condition).
%petri-net (macro).
actual-count (reader method).
bag-form-p (function).
bags (reader method).
(setf bags) (writer method).
bags-from (reader method).
(setf bags-from) (writer method).
bags-to (reader method).
(setf bags-to) (writer method).
call-callback (generic function).
callback (reader method).
(setf callback) (writer method).
condition-bag (reader method).
edges-bags-from (function).
edges-bags-to (function).
edges-objects (function).
find-ready-transition (function).
form-edges (function).
function-form-p (function).
inhibitor-bag-form-p (function).
make-bags (function).
make-output-hash-table (function).
make-petri-net-funcallable-function (generic function).
make-transition (function).
make-transition-funcallable-function (generic function).
no-one-element-lists (function).
petri-net-transition-constructor (generic function).
populate-input (generic function).
populate-output (generic function).
requested-count (reader method).
transition (class).
transition-not-ready (function).
transition-not-ready (condition).
transition-not-ready-report (function).
transition-ready-p (function).
transitions (reader method).
(setf transitions) (writer method).
validate-output-hash-table (function).
wildcard-bag-form-p (function).
Packages are listed by definition order.
petrialexandria.
closer-mop.
common-lisp.
phoe-toolbox/bag.
split-sequence.
bag-names (function).
bag-of (function).
(setf bag-of) (function).
make-petri-net (function).
petri-net (macro).
petri-net (class).
petri-net-error (function).
petri-net-error (condition).
simple-petri-net-error (condition).
%petri-net (macro).
actual-count (generic reader).
bag-form-p (function).
bags (generic reader).
(setf bags) (generic writer).
bags-from (generic reader).
(setf bags-from) (generic writer).
bags-to (generic reader).
(setf bags-to) (generic writer).
call-callback (generic function).
callback (generic reader).
(setf callback) (generic writer).
condition-bag (generic reader).
edges-bags-from (function).
edges-bags-to (function).
edges-objects (function).
find-ready-transition (function).
form-edges (function).
function-form-p (function).
inhibitor-bag-form-p (function).
make-bags (function).
make-output-hash-table (function).
make-petri-net-funcallable-function (generic function).
make-transition (function).
make-transition-funcallable-function (generic function).
no-one-element-lists (function).
petri-net-transition-constructor (generic function).
populate-input (generic function).
populate-output (generic function).
requested-count (generic reader).
transition (class).
transition-not-ready (function).
transition-not-ready (condition).
transition-not-ready-report (function).
transition-ready-p (function).
transitions (generic reader).
(setf transitions) (generic writer).
validate-output-hash-table (function).
wildcard-bag-form-p (function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
transition) &key) ¶transition) stream) ¶error.
petri-net-error.
simple-condition.
transition-not-ready)) ¶transition)) ¶automatically generated reader method
transition)) ¶automatically generated writer method
transition)) ¶automatically generated reader method
transition)) ¶automatically generated writer method
transition) (input hash-table) (output hash-table)) ¶transition)) ¶automatically generated reader method
transition)) ¶automatically generated writer method
transition-not-ready)) ¶%bag.
transition)) ¶transition) (petri-net petri-net) &optional skip-validation-p) ¶transition) (petri-net petri-net) (output hash-table)) ¶transition-not-ready)) ¶| Initarg | Value |
|---|---|
:bag | (required-argument bag) |
:actual-count | (required-argument actual-count) |
:requested-count | (required-argument requested-count) |
:requested-count
This slot is read-only.
:actual-count
This slot is read-only.
:bag
This slot is read-only.
funcallable-standard-object.
| Initarg | Value |
|---|---|
:bags-from | (make-hash-table) |
:bags-to | (make-hash-table) |
:callback | (required-argument callback) |
:bags-from
:bags-to
:callback
| Jump to: | %
(
A B C E F G I M N P R T V W |
|---|
| Jump to: | %
(
A B C E F G I M N P R T V W |
|---|
| Jump to: | %
S |
|---|
| Jump to: | %
S |
|---|
| Jump to: | C F P S T |
|---|
| Jump to: | C F P S T |
|---|