{
  "type": "file",
  "name": "src/components/demo/lively-petrinet.html",
  "size": 231,
  "version": "02eb2df40318d36ced75f3b9035e2ef0b579511b",
  "modified": "2020-07-30 17:45:24"
}