I hereby claim:
- I am selinux on github.
- I am sinux (https://keybase.io/sinux) on keybase.
- I have a public key whose fingerprint is 6D99 D43C 0D9E EE8F 2B38 839B 46EE AA9F FC39 BCC6
To claim this, I am signing this object:
-- Petri Net -- | |
local petrinet = { | |
places = { | |
p1 = { | |
name = "p1", | |
marking = 1, | |
}, | |
p2 = { | |
name = "p2", | |
marking = 1, |
local mypetrinet = { | |
places = {{p0, p1, p2, p3, p4, p5, p6, p7}}, | |
transitions = { | |
{t1 = { }, | |
t2 = {}, | |
t3 = {}, | |
t4 = {}, | |
t5 = {}, | |
t6 = {}, | |
t7 = {}}}, |
I hereby claim:
To claim this, I am signing this object: