Search results

Create a new formalism where we recognise that the 'same occasion' represented by the same transition may require more than one instance

Status: Open.

#16 In robwalton/occmodeler;

· robwalton opened on May 22, 2019

Create a separate repo for private model development, considering switch to Gitlab

Status: Open.

#14 In robwalton/occmodeler;

· robwalton opened on May 22, 2019

Build a 'compiler' for expanding primitives into a base Petri net

Status: Open.

#13 In robwalton/occmodeler;

· robwalton opened on May 22, 2019

The new petrisim module api should include a way of building primitives

Status: Open.

#11 In robwalton/occmodeler;

· robwalton opened on May 22, 2019

Rename pyspike to petrisim and separate out petri, candl and spike parts leaving space to complement or replace spike

Status: Open.

#10 In robwalton/occmodeler;

· robwalton opened on May 22, 2019

sanitise imports at top level of modules

Status: Open.

#9 In robwalton/occmodeler;

· robwalton opened on May 22, 2019

Remove need for network_name field on SystemModel

Status: Open.

#8 In robwalton/occmodeler;

· robwalton opened on May 22, 2019

Honour SystemModel.marking in occ.sim.run_in_file()

Status: Open.

#7 In robwalton/occmodeler;

· robwalton opened on May 22, 2019

Update to new Spike

Status: Open.

#6 In robwalton/occmodeler;

· robwalton opened on May 22, 2019

profile slow operation of e.g. websci19 models

Status: Open.

#5 In robwalton/occmodeler;

· robwalton opened on May 22, 2019

Add occdash functionality

Status: Open.

#4 In robwalton/occmodeler;

· robwalton opened on May 22, 2019

sim.run_in_tmp results should be viewable in occdash

Status: Open.

#3 In robwalton/occmodeler;

· robwalton opened on May 22, 2019