search

slwu89 / processes

formal models of processes
MIT License
0 stars 0 forks source link

Petri nets #2

Open slwu89 opened 4 months ago

slwu89 commented 4 months ago
  1. implement Molloy's discrete time PNs with homsearch
  2. sliding scale of "Agentness". Do some PNs with a small number of non-Markovian transitions.
slwu89 commented 2 months ago

need to read https://link.springer.com/book/10.1007/978-3-662-05324-9 and extract common motifs