issues
search
vanrein
/
perpetuum
Generating event-triggered code from Petri nets [C and Erlang]
Other
5
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Proactively test reflow
#15
vanrein
closed
6 years ago
6
Get the proper number of bits in the when clause for GenMod:transmap( N ).
#14
vanrein
closed
6 years ago
2
Composition of Petri Nets
#13
vanrein
opened
6 years ago
1
Modular Compiler / Packaging Structure
#12
vanrein
opened
6 years ago
1
Inhibitor and Outgoing Arcs
#11
vanrein
opened
6 years ago
0
Multiplicity on inhibitor arcs
#10
vanrein
opened
6 years ago
0
Add persistency.
#9
vanrein
opened
6 years ago
0
Consider adding debugging information.
#8
vanrein
opened
6 years ago
0
Support conditional compilation.
#7
vanrein
opened
6 years ago
0
Transitions hint other transitions.
#6
vanrein
opened
6 years ago
1
Hibernating long-lived processes.
#5
vanrein
opened
6 years ago
0
Scalability of Introspection
#4
vanrein
opened
6 years ago
0
Consider a cache for resized petri nets in Erlang
#3
vanrein
closed
6 years ago
1
Think about integration with an event loop
#2
vanrein
closed
7 years ago
2
Find a model for Backend Driving
#1
vanrein
closed
6 years ago
9