Search results

Arena allocator for state space exploration

coreConcerns the dense, high-performance analysis core of the libraryConcerns the dense, high-performance analysis core of the library

Status: Open.

#51 In MichaelOwenDyer/petrivet;

· MichaelOwenDyer opened on Jun 5, 2026

Research needed: detect strict L2-liveness

Status: Open.

#50 In MichaelOwenDyer/petrivet;

· MichaelOwenDyer opened on Jun 3, 2026

Full decision procedure for reachability in unbounded systems

Status: Open.

#49 In MichaelOwenDyer/petrivet;

· MichaelOwenDyer opened on Jun 2, 2026

Refine PetriNet API

Status: Open.

#48 In MichaelOwenDyer/petrivet;

· MichaelOwenDyer opened on Jun 2, 2026

Generify token type

Status: Open.

#47 In MichaelOwenDyer/petrivet;

· MichaelOwenDyer opened on Jun 2, 2026

Investigate incorrect state space result for CopsAndRobbers-PT-HRL014X002

bugSomething isn't workingSomething isn't working

Status: Open.

#46 In MichaelOwenDyer/petrivet;

· MichaelOwenDyer opened on May 31, 2026

Guided state space enumeration

coreConcerns the dense, high-performance analysis core of the libraryConcerns the dense, high-performance analysis core of the library

enhancementNew feature or requestNew feature or request

prio:mediumMedium priorityMedium priority

Status: Open.

#45 In MichaelOwenDyer/petrivet;

· MichaelOwenDyer opened on May 31, 2026

Utilize SMT solver in addition to (instead of?) ILP solver

coreConcerns the dense, high-performance analysis core of the libraryConcerns the dense, high-performance analysis core of the library

enhancementNew feature or requestNew feature or request

prio:highHigh priorityHigh priority

Status: Open.

#44 In MichaelOwenDyer/petrivet;

· MichaelOwenDyer opened on May 31, 2026

Revamp petrivet-viz

enhancementNew feature or requestNew feature or request

prio:mediumMedium priorityMedium priority

vizConcerns petrivet-vizConcerns petrivet-viz

Status: Open.

#43 In MichaelOwenDyer/petrivet;

· MichaelOwenDyer opened on May 31, 2026

NetBuilder: Structural reductions

coreConcerns the dense, high-performance analysis core of the libraryConcerns the dense, high-performance analysis core of the library

enhancementNew feature or requestNew feature or request

prio:highHigh priorityHigh priority

Status: Open.

#42 In MichaelOwenDyer/petrivet;

· MichaelOwenDyer opened on May 31, 2026

Implement Rackoff's theorem for reachability graph depth upper limit for coverability

enhancementNew feature or requestNew feature or request

prio:lowLow priorityLow priority

Status: Open.

#41 In MichaelOwenDyer/petrivet;

· MichaelOwenDyer opened on May 5, 2026

Implement backwards reachability/coverability algorithm

coreConcerns the dense, high-performance analysis core of the libraryConcerns the dense, high-performance analysis core of the library

prio:mediumMedium priorityMedium priority

Status: Open.

#40 In MichaelOwenDyer/petrivet;

· MichaelOwenDyer opened on May 5, 2026