{"_id":"@pseuco/colored-petri-nets","_rev":"32-ddbebdca6159fba8ad06926392d97487","name":"@pseuco/colored-petri-nets","dist-tags":{"latest":"1.5.1"},"versions":{"0.9.0":{"name":"@pseuco/colored-petri-nets","version":"0.9.0","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","scripts":{"build":"gulp build","test":"gulp test"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@babel/core":"^7.1.2","@babel/preset-env":"^7.1.0","gulp":"^3.9.1","gulp-babel":"^8.0.0","gulp-mocha":"^6.0.0","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.4.0","gulp-eslint":"^5.0.0","should":"^13.2.3","source-map-support":"^0.5.9"},"dependencies":{"lodash":"^4.6.1","opn":"^5.4.0","tmp":"^0.0.33","yargs":"^12.0.2"},"gitHead":"6d543dde9fe4a4c6c4a3cdab7e1fbb8045beb407","_id":"@pseuco/colored-petri-nets@0.9.0","_npmVersion":"6.4.1","_nodeVersion":"8.11.3","_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"dist":{"integrity":"sha512-/IGVqhkGwt3wiBf0C4i9vPFdT2aYvQxfwn7slzgBDxiij2FVORJm4AKKIHZQy+gr1re3u50kiI9VgNEUXU6jZw==","shasum":"de02903e15f10f0ef309a0020fc7da6a467378b9","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-0.9.0.tgz","fileCount":16,"unpackedSize":335090,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJb2F8zCRA9TVsSAnZWagAAhxkQAJKMHDPD+Qel+ygFQAiJ\nKhowOiLidP2/qsRYxY8H87pGBrgQqhRo9Th7nTxvFkT/gmrDeJsR/hdRG/qn\nqaXf0kiu8MKHaIXt3BDg8cKp8ssA+YAYwPLaYW4HwcX42KHytXYECYZrfbtL\niLu47bfVs120sceP5fv3djhYXcY3vAzHWli1OrTyN7NyxSyHr8jIttPuFZGq\nLNIh9HDVeE+petycschjNYMx2aiTq7IbLRr1cqshZ/M4fvgPYbXhprS8oI0Y\nRfWlkBxppgS61UvRql0Hfn62ZK64HdcExsret+uWovSaTMXTDjwbrCpa7x+U\nTISv7BVbqfR5l+q0YkOA/9uo1mc82qWsb401DCUQIhUtIwC4zt8Lg1ZBNuTn\nCKOWEikEoO3OGGxtQG+GEi/7/hocapVzK0hAd+EJRN2bHURuiDePkKL0tj57\nOGbPeVPkmLZD25ueayCXHd37AMH7A4RKK7IAdgqdJijBZlJRddzGxkvt2MZb\n4qYHOaKWgjBkb5BlKgw4DibnpTVkYWIHAy3K4kdyUDroaXD3FUDjdtUAnG50\nqXDWXrNJAcxJjUmVKYbXdyJZ9S5OTwy9vdBNL6hiPcy2L0qN3IzZ4hBmb8cY\n/2QTUKTynONEAgBhe9HsqtQOgS7V+Hs/9CengSssv3GW0u4KYDMpu2LmLp/O\nIgNU\r\n=RULS\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIFtbLJlIBqmBOMrx7yTGy8pBIyaXuP7tyajkp3TJpT6xAiEAp6qPth3ygG2nnrLQH8YSDhgxeKf7bllbfpqiJOmtGWU="}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_0.9.0_1540906802680_0.6832942367581767"},"_hasShrinkwrap":false},"0.9.1":{"name":"@pseuco/colored-petri-nets","version":"0.9.1","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@babel/core":"^7.1.2","@babel/preset-env":"^7.1.0","gulp":"^4.0.0","gulp-babel":"^8.0.0","gulp-eslint":"^5.0.0","gulp-mocha":"^6.0.0","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.4.0","should":"^13.2.3","source-map-support":"^0.5.9"},"dependencies":{"lodash":"^4.6.1"},"gitHead":"aa9c60cc9a5f199847487665d97d5a7b80171650","_id":"@pseuco/colored-petri-nets@0.9.1","_npmVersion":"6.4.1","_nodeVersion":"8.11.3","_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"dist":{"integrity":"sha512-Ml0c1ucNGBoBwVVBfDWWAh/EBYYMv2IShax7hbyxFnuSgPhFmLyRAF/pk4mYq5SARmZZSctbzZH7XlWL7YBvXQ==","shasum":"7df7c305fac0e69a361220bc3835387def37d8ca","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-0.9.1.tgz","fileCount":16,"unpackedSize":323736,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJb3Fc5CRA9TVsSAnZWagAAa2AP/3GsYJEFZspxeDIkjS8v\nJynTuGXX0bsBfnRIlOsPVrZHB7g0qZjlYvUErrEzfPebC4pPj6jtuURYfwZi\n+daG6K2rSsETPso/N4yvFh48+bKas5oMI0iIhKuK6sZgGVOHuzJKmtfD5XeZ\njar//TaV1nRAkf3qI/J+TeMCJ1lgKORYcWx+O2uP7xAY0jlzkRtRW5u2vLY0\nUkv9U9oim+1btvAT9TwPpUXd0hTMleOWfdR54c6pNfcU1KquE/iOacis1S9r\ngcce47ZGmsB53NfrDa7RhUW6zUvYRFOYW51xGrBJuFDmSVrhq7ZdrCXddax3\nFF5skp5ZR4Dg2cZql0lK70rnlsvCP198gaGv+6JWJbs/0mSCkheBFxk5dcoG\nyIFkpt9ssrYLrpT5LDEKmr+kgIEQ8oUWWBOUTIuGkIICc5YmKN6zwEK1W3oU\nY6XRthCUy6aBS3WyBD+p8cNmGY6h4iprhudOBTuZpuMqS3YNOHOChRS2PGcZ\nvaWUjRPyqUEg0MsJy3eGdvC2wiFjDmAtyHdqezVUuYjGp5sPssYeAHF9YgCv\n/YBEyZtCsNcjj0TZZw+QuvIK0/LHQM1mE4sm4Uy1zVtTaONQ6Ar8qovd4qI2\n58vmYedH2oGQhObRhx6LMXuAKikqEDr5rXN/WQ1Njl7ojQiqOIFlzrNG+Wd2\ncqIK\r\n=hD/B\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCTVeO7IUWkqlmVvN7bN/0AwauWDRdKtFy1fmhl7/gsQwIhAOzENamysIoydI2NzdyKl0xLiyj7zRIO0Jc4QOf6clVN"}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_0.9.1_1541166904685_0.6329424156268195"},"_hasShrinkwrap":false},"0.9.2":{"name":"@pseuco/colored-petri-nets","version":"0.9.2","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@babel/core":"^7.1.2","@babel/preset-env":"^7.1.0","gulp":"^4.0.0","gulp-babel":"^8.0.0","gulp-eslint":"^5.0.0","gulp-mocha":"^6.0.0","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.4.0","should":"^13.2.3","source-map-support":"^0.5.9"},"dependencies":{"lodash":"^4.6.1"},"gitHead":"3ba3bf013287e452f96a8a938c51ac147fbfeeef","_id":"@pseuco/colored-petri-nets@0.9.2","_npmVersion":"6.4.1","_nodeVersion":"8.11.3","_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"dist":{"integrity":"sha512-JsJNkP8A0QUpmOMoe4SvPun/KDNeSSD49k3n8VZd2a428iYvSGDQh7X2trP5MYGLk8Azn30fqTne2BhoLXxmug==","shasum":"33594e753a6ad965a226e72de7df3940d74b434e","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-0.9.2.tgz","fileCount":16,"unpackedSize":329271,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJb5BH9CRA9TVsSAnZWagAAzSkP/1DK2wwm2g+tejubBW0Q\n+efDwoH38Ttj1DI+2Yo6IPGcH2T3iseKXWE2AI9FuLJsbljjlbeFuyV30UKR\nvmbFLHusR2fI+Fcs7ljP8TKgyRftn2onrnzmPAmo34j9CJHsm+mIzugjM7dZ\nHLm4kbktP1D/YdokodZGK8VCyubayXA7si4rAAa7/sNCp0aC83V4cNn7QLWj\nTuA7P/QPc1DBTk3VyFlYGnSjqGYrm2Oe0S6q4plrqy5aG2V7TtVRNIIie4uj\nk9fPsCpNP6d3FxY/RiKK2EpGYT2e8qGxp/h2YJeRhp+TsIdMz+6j/SRk9o6r\nPtFpUeMN/D86UiE6Qv8mxxrFHwM6Qeg08zTZLVB6z4HOS4IEDpyqYLdXqwmJ\n2GUJz9tjJ50wMlJcLANLx+h+idC+dEnId3ykNgAX6mYF3HaMNr+WXv3wDlT2\n5O3UtSVpyKn5dECd0tBe0Dk4q7cNiOCOf3j38Dn6aNQ0HiXmw+1c1STLBH2F\n/t+byvP3qEmuakdA1qr2K8bcdERUBenrlcexC6UHAHTHvSj6Mw12Az9O6apa\nvcqyaDt7D5GJ2e4Q2A6g2Vo9fRB9aiO7bG8laZXA+NjuF+MGQ7TiDA3W8HSp\nd0yraZZJwgB8rjPmq58EpK5N/rK60CBNsw4ygAaoopSbKAY7NYZh6APgPQz9\nVx1C\r\n=xzw5\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDpzxKtvxLXEs9dXo7hz4fKfYG3W8nJEQsZ1jtE7qh7pgIgG89KUeEApaFk+FammtXxPLoXP/cGaxfBpLfIa8Wobsg="}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_0.9.2_1541673468797_0.727852805607857"},"_hasShrinkwrap":false},"0.9.3":{"name":"@pseuco/colored-petri-nets","version":"0.9.3","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@babel/core":"^7.1.2","@babel/preset-env":"^7.1.0","gulp":"^4.0.0","gulp-babel":"^8.0.0","gulp-eslint":"^5.0.0","gulp-mocha":"^6.0.0","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.4.0","should":"^13.2.3","source-map-support":"^0.5.9"},"dependencies":{"lodash":"^4.6.1"},"gitHead":"ecf34313642edc3dd82f0d45290ea3bf50229e6d","_id":"@pseuco/colored-petri-nets@0.9.3","_npmVersion":"6.4.1","_nodeVersion":"10.13.0","_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"dist":{"integrity":"sha512-PVKdhHGg/9q6kZDdb9dR1ch8x+3cEYE7NXaUZMZ08vnSekWM+zuF2Roc4Ix414dHeIuCfLocea2mDNtQb7AUwA==","shasum":"586016dfd96b82a436a90081c0608a657e76b883","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-0.9.3.tgz","fileCount":16,"unpackedSize":331413,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJb7YVSCRA9TVsSAnZWagAACXoP/RzqGXnJyivwj7JPOkDW\nayvrV43y43wRKZoHGSTgS5DRiFlUH8QFawp+mo/+fE3n6ga93JpcjFxxtoP7\nDEzoZ0+W6eHRbZcikZRb0j/t9uZCE99+wgSpTO4R1U13juugD/SJlOu6xBA6\n0tuzn7fthVqWzMHOzDVezPBlScQTaJlaK8L9BQ/k70RiRZ82ZbhQvuZlMJ+m\nBs7hWgWYST37FzpKy24kCBxvR9vdXZ3Nt0/zROgNO20rQFURm/SpBcpe3O1Q\nLiz4j13vVt40PszFQtQNAj+IP2DM5XqiBo+w9HRNx0oov4GQwRRdbBP0koaB\nhx19xAZaQOyNbPTHr+SgShXx7za6a1JfqU0GHj9DG9iSsOKGX9KQzrNThOsc\nGTjV5oaebfNEcyiQir0IPnQ0orG4EiQFGrcpOSEP5MereyZD9wr8St/Al6qo\noLEFbRnjZi8qUkPMUCEA3yJ7j0UdUe//Q9HYT4z4aSPPgLT/cp5kdNT4+1HS\ncRqQxU2Wokw8MUoamLEhzd7EidhdrVGPJiMh/mNjbMkB3vcmyJ4Y1q7amNXV\nTPwt9JAUeeXBUIToHJnXEv8vSIhbb3w7b2qOSQv7wse6kDqtJHDHlLgZ/mJr\nH0Gai2sW2ZFG3g/nMnzqKeCV7AizXpD5nvK/XLLNl4Llrgi5GkuY8+TXxbbF\nWIGq\r\n=spUW\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIFCaaRfcA6HLDzkZyrhf9V07dM/d5uRbQLUi9nny3y9AAiA4vlWPCwru9N7fTisl74BJa+AcxZl9AX6URkwKHiHtIw=="}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_0.9.3_1542292817890_0.26706034356772834"},"_hasShrinkwrap":false},"0.9.4":{"name":"@pseuco/colored-petri-nets","version":"0.9.4","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@babel/core":"^7.1.2","@babel/preset-env":"^7.1.0","gulp":"^4.0.0","gulp-babel":"^8.0.0","gulp-eslint":"^5.0.0","gulp-mocha":"^6.0.0","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.4.0","should":"^13.2.3","source-map-support":"^0.5.9"},"dependencies":{"lodash":"^4.6.1"},"gitHead":"f43fe476f9e9f02070080ecfdf6cf493efab3fb0","_id":"@pseuco/colored-petri-nets@0.9.4","_npmVersion":"6.4.1","_nodeVersion":"10.13.0","_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"dist":{"integrity":"sha512-m7pSlvoawjT0xoSIbruj/DGnYewJRZnq/7ptYRr/o2jDBm16pyF6e9+kcyQyONZGwxq1zaHAwnlBNpuPVYNoFQ==","shasum":"9aa94b8d6940e7fedc67d0efb12935695e5dce11","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-0.9.4.tgz","fileCount":16,"unpackedSize":333121,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJb9/EcCRA9TVsSAnZWagAAICQP/RbN4brHIS7ZbgWnki9I\njV6/3bc80FqNT7RsMu2sD+eQ8DW8KveRlPi3LQArJxMt+5qOPVx00oKY5aQG\n/k8l9Ue4cPmLHHZVqh8SqRswahOBu8GwE6DNIHrbpb1rL9LiRaIOqke7E0QZ\nGZBKwTHOEC64doiS1eueIanXRWC2M95BQldhuM+5CHda/nOvkRhuc1TShL1T\nh7A7a0GsNKlo4Ro/wQPYJFUTaepM5px3JYc2A+AeUpCdLQRbL+AhtWkFM+px\nmY5An4iC+ogvIUmDlHsygZknGv1Ilgh/Fvz1bgWpmgz6BEX09b6Smt6giXsx\nSJMeKlL+gTqdCQ10aFXp/uXpEu83V7T37WyylvBFE7enLz4lpRV0a3RpKLXu\nC90hVrBAQx7JwobM6iupDqklKASb/Cd05J9Z12IxNOgfyrKPAgLrQVYLcAFE\nQ7HMlnnNWlKVX3n76LaAjytJ7JY44HCv3hfH8kZquU+gq1Xbn8oKT5TPtnGS\n8zLJcW+fiVK00SAYAFTGpGKbBAz4H3hHksGvOpQzTI65CTxGPn/yifDq6mLD\nNcKd8MQpPhXUg892mPSfyHU8VaetLkb8zhuCwYTv1jJ/neNUuhqjZeumJidb\njxzODW2YL5gOgfDasxNLkMuuEx7i+PP+J32ipWb5KfMGktaAHgyK7x4OeOiv\nBoWR\r\n=qOvL\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQD5lMXL0r4/Dp1P8LjgSoJrS7//apzHhr5LJiDNwtkt6AIgeBL4HOOt3Ph2fKPTbC0NDSlyS0NQM7fTkuMUaw1zWeU="}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_0.9.4_1542975771602_0.21386377151766456"},"_hasShrinkwrap":false},"0.9.5":{"name":"@pseuco/colored-petri-nets","version":"0.9.5","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@babel/core":"^7.1.2","@babel/preset-env":"^7.1.0","gulp":"^4.0.0","gulp-babel":"^8.0.0","gulp-eslint":"^5.0.0","gulp-mocha":"^6.0.0","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.4.0","should":"^13.2.3","source-map-support":"^0.5.9"},"dependencies":{"lodash":"^4.6.1"},"gitHead":"9a260c475134e0a18d626813c19dbf7c507860d4","_id":"@pseuco/colored-petri-nets@0.9.5","_npmVersion":"6.4.1","_nodeVersion":"10.13.0","_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"dist":{"integrity":"sha512-SU2S4nR+ic/WhrozGs7TpV6F26hDggRqf9CCzUs4QOxTnq/q04o5oue19w6vuWYnV9tGIaBuwBWjLOV9JI74Vg==","shasum":"a1cb23c063269cbb4c177a6a5ac7db1e2fbc8f6c","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-0.9.5.tgz","fileCount":16,"unpackedSize":335040,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJb/r24CRA9TVsSAnZWagAAmNwP/A5eU+i3cr3cFlzuhBF5\nU5yXn6BL8wNL5eF5Zc8LrPrYv1a7f1drluxiY/rkFDPoGiwr6qqz31UFwXX2\nEnnZD/vgVxy9B6xivbXblz422P9WmTQOcLRMFIu+4S6Zl9r9C9fc+JoPfVFX\noc7BEthqkLXwv4jFtAtBV5dq/aWdNsxEeGd+baxGs1yS/G3oYRzeqyvkEAzm\n4+VviHWFn0JFB71S5tJIsP1pBxjoEG4iLRf5xqCLMaeZsHwcH8NcDG7sBZl8\n9+fv12mLxOsx0Fb0Vr+HzEzsNT+OfngTi7uqTDb2JOt5HEYbupbwBqpqw7ny\neY98CjBavxjHe+mcOcHfga/+wlDCvm6m1q/eKm5sJJzGSrZQ1H4Uvhwxf+7t\npfcSN/33m1/2YgmxUXPZKGiSGMfsJ02Dn3Le00r/wCaZhPw4HKQx3p1sUdFk\nQ9BQ0dq24bmZLFChmpXKarTGVIxlQC+RzfDzLNorMqBCu7w9GBIYJBHHJ4Rq\nVdw2CHcWD7SJpzu854ME2WKIToMC+xT/fH6bZRFGy+2Hr+eppwnzrMaVllfr\nkn2wFkVuYG6Ackn/Mi75TY22cBwV/YKBmQdJekOu0dDBhoV9tYmG1AqwNTTU\na/tOV/ODgcXAKmmODYRvd55zguN7b7eklpqSAZOY5m8vVT6OI2VI2YeOG05i\nQKas\r\n=5TvC\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCVjg4dyqeiO35K03vkpUdXrbUhuRbbv6gD1ui8xyrj3wIhAKGE/dTEweGg5N73L+SeqYuccpmRoTgCIlxO0BSXEqx8"}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_0.9.5_1543421367409_0.3141768587303124"},"_hasShrinkwrap":false},"0.9.6":{"name":"@pseuco/colored-petri-nets","version":"0.9.6","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@babel/core":"^7.1.2","@babel/preset-env":"^7.1.0","gulp":"^4.0.0","gulp-babel":"^8.0.0","gulp-eslint":"^5.0.0","gulp-mocha":"^6.0.0","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.4.0","should":"^13.2.3","source-map-support":"^0.5.9"},"dependencies":{"lodash":"^4.6.1"},"gitHead":"68a582c8497916a1b6de5c95f88a72ee2182374c","_id":"@pseuco/colored-petri-nets@0.9.6","_npmVersion":"6.4.1","_nodeVersion":"10.13.0","_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"dist":{"integrity":"sha512-Vo8dNGdu2Z0b+JB7nxSRPb5B53W5yD1WjJxCKg4vLYpKUfHLX8a45I/WAu211VFGNeVtNzIpL6ExtXChaAuKVw==","shasum":"b6a5f782c89aa9025811cdb0c8a582590692094c","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-0.9.6.tgz","fileCount":16,"unpackedSize":335566,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJcAAAoCRA9TVsSAnZWagAA4Y8QAIdj/tyWiuU+fFIEklpn\n04xhYvaMKOEeSv4GeGA0Ws+20Xn7AW3DoZyVTf5sWnWdA9Y2z4MUgP09FyW3\nJgiBMQxdHGkFwVlHgI8daW5ifNGPJ0ZnDXidSb83I/XGC3cZRXLNzHTpwyYL\nyiQsJzw6EWLFfbAtMth+pzxnkJjfrgtWexuDjj/9fP/+gBrr3UbAe9hu17EC\nkbPGNzx6hXme07jnx9B45z17bBKotDpdD4yfxZFFQ8XYveCmnySnBMDp6Cr8\nCFWca04oFWJz0PRrJxzeKD+iZdivNS9K0TnxUZvxUOQ29ZAtECrDonTcb4We\nA+4HmkGtdfdoSOHnFcc7526B0TEt4VZiuKLw5dc0IRERLnMy3b+UbPMAJe2/\nLGAmB0rBBB0kt91+eCAwo0WKUgMaNvvO1LA1z0MeD7uuymMi8Q8M1SpfnUSw\nbkLXd5Y9qmnKEeVp7+HrizgHFceuxBp5ILIBjs2YYmaCCA0eVJ2kJ7auAP4X\nbhQ/hWE/ZDAceXiwBLYRmjTV9JMZ1lZrbZvmUWZGbf0HIQaX2fKdJ2Qao7ja\nf/t1+n7oVOsobv3g3QM03ZsdQFJZj3KaCh0LmBQu0NX3SwcHcyOOz6FWZA0u\njZpFsnX6L2aip9eaVWw3RDaca7pvyfWidTNZgYcuyEtwzMw8BArFegaajoS4\nySVv\r\n=Js1i\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDyzG7MGpRWwtfjsq46mXaXX9jwwEIR8FID5Vp03lqLbQIhAJydVThYuForaGTsK69dMrLk6buTFU9YCxzPDWuowhpy"}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_0.9.6_1543503912239_0.19781656972160966"},"_hasShrinkwrap":false},"0.9.7":{"name":"@pseuco/colored-petri-nets","version":"0.9.7","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@babel/core":"^7.1.2","@babel/preset-env":"^7.1.0","gulp":"^4.0.0","gulp-babel":"^8.0.0","gulp-eslint":"^5.0.0","gulp-mocha":"^6.0.0","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.4.0","should":"^13.2.3","source-map-support":"^0.5.9"},"dependencies":{"lodash":"^4.6.1"},"gitHead":"8dfb6cd590954714428ff7800f10478ed9255704","_id":"@pseuco/colored-petri-nets@0.9.7","_npmVersion":"6.5.0","_nodeVersion":"10.15.0","_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"dist":{"integrity":"sha512-2/8pXMx5/zPo5q/c529NnwFKIIFvo7Fqx1urflVMLOFR9hjC0edbq6ik/Y7mq1WKYPtVr9kMAhyEm7cuLZgYDg==","shasum":"f0156e812895b66e7cef4bf986aceaa4f3c9f05e","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-0.9.7.tgz","fileCount":16,"unpackedSize":335434,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJcM0N0CRA9TVsSAnZWagAAkJ8P+QFCg1TFnXjQjgP2g56w\n/gKCOf7jQVQQuvuTe0z70XbrxoHWlzlBwwbyBaRDCn2mtAnwW8WAjTIk+cf8\nydK8X+65LGKnkmxWmLhihfrR2kbaVZYiC/Q7E0smvVIFJOi7eyFIaGtsJ2Av\nB7I4IXvwEHL+f6dGi32/7ZO8RoWWMv8MCjUA4SNPMdEReU3Yn+ba5OA8aMtF\nMbKbXefjiKrPcpFxR3e6/rpxt/hhKfxe1Hi9mIK/VgafWaGP0ul++5R2INgo\nfMpYXCRHouHTaJSS+Slux47LUty9l3axCDGwmoi9lSREKvaDcTGztHcRcW9E\n9aqclSM12kjGawaEZebLMXakn09TDSo8NBTmB7SA4ZRVWaaigHmb1pRv5i99\nqiJYN3PMOHzpbM+TGkWryOd4h7QQq5AghoncZkCR7DeJ6MxVBvYTmRDja1IW\nlN4zkkBWacMlA6tR2JBhA61BeeQUAV62PdWLZRMxMfLT+jar4xUgCkp0t/dz\nh+lpF0OTOFIhM/FHXwSGnfs5V3c+HSiELe1L18oWbuJnEhthI6S6YIljp/i8\nhiY2/zUuUdJ0Wp6a8mzjQa6jUSIuuBYZzxsxQh+PYRRlsfG6EfpWDOXeJwd3\nXnBfwoahgEap6Ahvcwpautniah04MZhxWF6SciPAdcPz+/zp/2quj46lOb6v\nemrp\r\n=dNDQ\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIA1I29SrxLhDSJXjCZQkftqcldI5+X93L+9K0igU7INMAiEAvtxuVHFBf5Z5lT2GuHoAE5Gd3QW0Iq+oWTxK/8KZraQ="}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_0.9.7_1546863475893_0.11644031445856995"},"_hasShrinkwrap":false},"0.9.8":{"name":"@pseuco/colored-petri-nets","version":"0.9.8","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@babel/core":"^7.1.2","@babel/preset-env":"^7.1.0","gulp":"^4.0.0","gulp-babel":"^8.0.0","gulp-eslint":"^5.0.0","gulp-mocha":"^6.0.0","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.4.0","should":"^13.2.3","source-map-support":"^0.5.9"},"dependencies":{"lodash":"^4.6.1"},"gitHead":"c273b4a0f985802f2aa1ea335b97c511b9cd929b","_id":"@pseuco/colored-petri-nets@0.9.8","_npmVersion":"6.5.0","_nodeVersion":"10.15.0","_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"dist":{"integrity":"sha512-WdaEOdKzBgZEAqazT55Wiaw4agiiur3J8qYlE2Ks+7AILrIUNgp0u8hKurCsBbzmnOiaBzaslFYqV4GlUJF+Ug==","shasum":"2775a3104d76e15ed5627b4111c8713913f21174","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-0.9.8.tgz","fileCount":16,"unpackedSize":337808,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJcM1L4CRA9TVsSAnZWagAA9FUP+wbT/esF/vV0unfu/fAm\niahNNhZXNd6dNU8SSH8J7Y8HXnXvRw7b1YS9dRhLhTVQ0iZTebkF/kw1Efgq\naESKGC883QEdpcb0taTYQpNfqMstzHvLxFXCDdOqdfcJz/0PMVeCpB5xrbZU\nf0GUlO7eCcVMX7IzRE7M+5uz/uARDANZWUwemfJ0ugLcctSm/arS+sh6gGS9\nr6jz6pRG5A06AfJqmLe/kz03GhDJYAiyG63zb5dMMKQys11628zMOPUH+0/G\nP90819/omr+wwRxbEoRriWg8haqAQrqg5CjHNzUrMXGZ5IaFZyddJURc/PKK\nGbOceO3AKe7gysjymUCfzUq+meby+Qxv3KpNWmcsQUeDqZc1Su13OXTnCoYS\nbdvh8J00OgelGj3tNZcaIDzUn2l70sMMKbgeikEDETuSDEmUhKWvCVEoyGqt\nd6NAuK9F3nD02GekofE1pVeyak18jFshOeLRimMbJFGJII5lC4GeVTkfwOT7\nlvkzmxfrN4E1gfLvhdA7lplk8oXzJi3IHYQmdgkxyQUL+zlC5jw0GS3mlXRE\n0XF4PsL5mA0JuXUZntTgljIPOfVDCEv5s1Fq1tw/j9DA2Kz7FpW9l2UQkLso\nbX5tbzbT4GF1t9CiiFkFPgyAY/kGceLGpy6+do0+9dqs+qc4EU1RHR/Gvw8H\n/3Kg\r\n=bIqa\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCENe4PWhl74H6c04+W/l15QsOrWAihqoBgts+QOJIREAIhAOrj/b0lwHbNGvGfx1Ja5ksoxgTAjH70tnEqjAkdibtl"}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_0.9.8_1546867447752_0.18946011729336298"},"_hasShrinkwrap":false},"0.9.9":{"name":"@pseuco/colored-petri-nets","version":"0.9.9","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@babel/core":"^7.1.2","@babel/preset-env":"^7.1.0","gulp":"^4.0.0","gulp-babel":"^8.0.0","gulp-eslint":"^5.0.0","gulp-mocha":"^6.0.0","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.4.0","should":"^13.2.3","source-map-support":"^0.5.9"},"dependencies":{"lodash":"^4.6.1"},"gitHead":"f3577da60314e33a7a18b8f2161902ee062e0a88","_id":"@pseuco/colored-petri-nets@0.9.9","_npmVersion":"6.5.0","_nodeVersion":"10.15.0","_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"dist":{"integrity":"sha512-1/30IRiR6HrojtLe5hmU6iGZq6bTWjQHtfTKGfPD6+Vio2KZt+lJaE4KrN+7xYyA5ovhBN1kZURWUulQ+cNZOw==","shasum":"77ce1249674d38a5ac6198b0d72623bdf6760435","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-0.9.9.tgz","fileCount":16,"unpackedSize":339072,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJcNHiGCRA9TVsSAnZWagAARFAP/iD8XAoWe+KdPHT9hVf0\nPf8AK2POPTQR0IHFgzpuJpBt2kmsa9+02ok3movcMR9B776WytIyJm14JuIX\nrjSv6K+HUJeo8SYjPff+04oBQCo8YtVdfqHOF+z0fM/kycPfLEmTiHdepQGp\n9kzLODR+YZPe/KQ3oVxjHGS+OZKg2EP6NKzGZk6pWNXmI/dfBequN1Sim9l6\n5grsyeZ8vHdwJYaAWMWA6U2i8eR+H8C1lAc0b+UOBaatH6yjkDqM4LPha++H\njsiAwrpKWkfh6A+J+N6FmvP5d+VWlPKxR0+P/oXyhZwV5CHmrlz1gtGgyM+w\nDihkc8nEQtwFugUNZnbFi7XViGb/rNs/wcPshGrCIPPqnof+TAzG9cNywyPn\nyN+nKrEsUf9NT1bsKfuVrXzaPIDApqHaDyy973TgoKBjPD5Qp8FCp/Sic1Ys\nnBTVUUCihWQniYCF1Bx4W4SQQQJxC9PefCfIaT5WAsmOkwcoQkGsODU0uVWq\n3s9wwa0FtkxudK8YIMJIsqS2XszkhZLsrrpC6766UzESZD4jSOLEZjSesqMq\nHETAX57LWnEyhLv4Rr1G2NxdllctHfSdRdHPje8HE5Twg77l8KENK6AAsG00\nFIy6IC6i3TxTI+VPngeL9gLhCJfvRS5CFLBfN1b9AidJxwENi7A8EbjlCDjK\nHExt\r\n=zF6N\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCiwx9KovsmSCRoHESnsRQPnD61ZIcWBXKANXMIQqHInQIgd6aqChrGVV6UTiWcrvb8qsn5wW0rsCo6H8Ft6HJtMgw="}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_0.9.9_1546942597685_0.31387777367783065"},"_hasShrinkwrap":false},"0.9.10":{"name":"@pseuco/colored-petri-nets","version":"0.9.10","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@babel/core":"^7.1.2","@babel/preset-env":"^7.1.0","gulp":"^4.0.0","gulp-babel":"^8.0.0","gulp-eslint":"^5.0.0","gulp-mocha":"^6.0.0","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.4.0","should":"^13.2.3","source-map-support":"^0.5.9"},"dependencies":{"lodash":"^4.6.1"},"gitHead":"50e85032a2b599f6155926927b10d662b69c6b92","_id":"@pseuco/colored-petri-nets@0.9.10","_npmVersion":"6.5.0","_nodeVersion":"10.15.0","_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"dist":{"integrity":"sha512-ija1JJ+2+j8pXQERmhlD0fC4J80yX3t5vor4SIEaLh/LT3UCzc/dm2QODd0ZYeLHYKN1qLcVKmE+tpanRNDa0A==","shasum":"8e2cddcb21fce44404057c966fcf607083832dc8","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-0.9.10.tgz","fileCount":16,"unpackedSize":348087,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJcQJWlCRA9TVsSAnZWagAA1WoQAIbTliE+rF/ZHmYowiIe\n4eL5gSHkvYD71gB7bZdARU+OeHrVRorjf849fzepKRQSL3QRhcFb9s5mjcvM\nz1z+ZwcVGnYN4zxi7PpC+QNL7WxoNYpxLE6oXTP5g+UZdbBQnEYgrSWDKYIz\nNctELeozCY3wTtiZDnMphb8+GLsPV260gFPQjLP3iitwUc83mFNMER1efvZa\nCeS/kon9UFY04bl6/yzaOcUiJzdoALxXXefHxV/hPRlEMyYk6iIZys4lymDI\nMrDavOx4eAl0UhfYKEcUz9qzQ0HZh/6c7sty8UdgpdiQKqQcFrQ35ejrxBbZ\nPyS73MJJLR8M+u48p1FMMhZSHiqzJ0XB/esuURNtidK2oGpCZ3wWab71sxm+\nutT+QUONg3TPgrbaxR/mkQY5zDxS14wpJudAtlL21iero5Ep0pLKSMvkwKvA\n7zSBC23DhGFQK3Ghm0HUMCSBG0cerOKLF2m/vKeuao4rVA4xmM2YMwYv3VcR\noWxFJqFJQX/WOlUV0JhluiZFw24aA8UuABDeKwHny0qilVsLDC0PHy1iTQ3j\nVw3Nxf7CNacEY2BZkPEYac+0JRafxS60lzuiEFWlLfUkPsSK5YaumFjeIjU2\noIyuqIYZTyK/a5t+/ChyScxCnxhHbTCEX7vx4S26/E0COWydn2nZsHVk6HHx\nLvAY\r\n=V465\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDC3llSUd1JEW5TamMgWXpXiju8ejZnNv28bKb+2v0H/AIhAM8/ReYJRHzSJcvvlIUGztlqsq9e3vFymBjfGKS969uU"}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_0.9.10_1547736484874_0.5494001150788439"},"_hasShrinkwrap":false},"1.0.0":{"name":"@pseuco/colored-petri-nets","version":"1.0.0","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@babel/core":"^7.1.2","@babel/preset-env":"^7.1.0","gulp":"^4.0.0","gulp-babel":"^8.0.0","gulp-eslint":"^5.0.0","gulp-mocha":"^6.0.0","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.4.0","should":"^13.2.3","source-map-support":"^0.5.9"},"dependencies":{"lodash":"^4.6.1"},"gitHead":"863f16cb001d9adcbf3ab996598ecaa26a7ba4df","_id":"@pseuco/colored-petri-nets@1.0.0","_nodeVersion":"10.15.0","_npmVersion":"6.7.0","dist":{"integrity":"sha512-WyGX4xKGdYhZOsbepeciK1QSLUN57qe8Nkrc24KUTvULJg+oOK/sw0tO5GLa6rUnzQkH77CjvlQfFbhmT+u2vA==","shasum":"129572f7088c8427404e769ce951818ce98ee521","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-1.0.0.tgz","fileCount":16,"unpackedSize":350019,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJcVExOCRA9TVsSAnZWagAA91wP/RrEyMhHYxt03pDeK2VS\nPBFBVP4jUrpGX/UsRm1rPEoA7Oux/d822yxi0q/iukTpzW5M4GOoKSqW9gDw\nNg461+T9hrLwiW+JyRRGjG9jTKbmJnEhTTkvR5Er4VfxuhT5jymGTAeOl/sF\nzejSXp5ezdV9mwkbnUpIOQKEmimWHb7243fUY2G+eIA9KhYJKPOwEhfp8yJn\n7fY2IsN0hleNTzw2jo6EEsmvnl77LzneRJnYhajuep7bS7WSZIzcltaNTSOF\nIxC2TvhF7G6krn+qzF+5wfud4gERRcvrybsHHnjyltMjt7c8GvwtOQdEQq6n\nj+ivyFnFd17F7wz7igJzE36GdauY9sBTbvnyi3pWBAnOEoTBQ5I4KKjCmMuI\nIh1Yx912ybLkLqFIG0DNBZYW9oi8UaYrMCgsez3aJaUBWHFATyOKYEuSOEIr\ngiMZlG1wHJlaSgAlH9aZYN4gheQCFqNDM/vFmhSYTybrK9IDTAsS044+SpF9\nyI5H+B3boxb3MfGoaTweeKGFQC8Y/9DLHZl5D+s9Bfr5gAicM0y4/00UWW1e\nAL3qO3LjAOfrmYDLXCGXnuGwWcNhOQsnmrYaaVSshNASCQY+QqEaXgHQZHPY\nODwiPHfIqaDxlK/D/JK4HHYpsRQR4x+PM1hf8bsJ4rEvw9tNooUTqvNNXEYf\nrN78\r\n=N8pk\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIGQ8Eo6t71VpsSmQZUc1yxXsXtJGvluvuaDMNv+yQlJlAiEA6MA1Fc4WYLTvpE7mLkqgcN5Doysbl1UpQjXIVg6JaIo="}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_1.0.0_1549028430239_0.030332071170971586"},"_hasShrinkwrap":false},"1.0.1":{"name":"@pseuco/colored-petri-nets","version":"1.0.1","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@babel/core":"^7.1.2","@babel/preset-env":"^7.1.0","gulp":"^4.0.0","gulp-babel":"^8.0.0","gulp-eslint":"^5.0.0","gulp-mocha":"^6.0.0","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.4.0","should":"^13.2.3","source-map-support":"^0.5.9"},"dependencies":{"lodash":"^4.6.1"},"gitHead":"63c582829941f00ffd3069c4e87ad6d67ba84f55","_id":"@pseuco/colored-petri-nets@1.0.1","_nodeVersion":"10.15.0","_npmVersion":"6.7.0","dist":{"integrity":"sha512-Qh3xAruaZZnbqMDU6Jk241rL8KmuflVfhtWMstfEiHyGCKl9SLC/o8xHiJur+pThFcVKm6t7rVE1zWBUF1fh0A==","shasum":"8115a88909309b174a84913289c2b713850e72bc","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-1.0.1.tgz","fileCount":16,"unpackedSize":350675,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJcWq5ECRA9TVsSAnZWagAA/VoQAJyUG6Ql6KIVUuAGOT9G\ncKgcaNFh5mr5m5bV8wTjTV/TIXMkQkHpRCA2hdbphE+/En6YWKIYLhP2NZA2\nKcdyUcDrdkq3WN7Cf9OQoBXBIeNt4YiXj3jed9Dik5w5fZAVqc9VA6XHHB9V\nixsQojPtD8/voa8ZpVAi9/r7hwjLXgx/RtzI9NzkoZKEQa+4fgaQnaC4snyP\nQJQ4oXqPVnbu/EDa0TbIwhmKl7DGyA/m6qQ2jMdMzUHUHQYbmBBdx1OcaDh0\nzSYnJzGYo8Ft34JlbHKe20IRHDk8aRaFZWY/x42OwOR44tdvdb4/hPj1KYtt\nwNnZHdnjrBUJh7K1fxdgUv4qIMFIbvk6kNgKGJxKoKITaRKWXAf8bC/yVa+e\n6vZHCmK/ya06ibLSBkU7ubQ6AORVELIO/Sy2HCKstoNMkX6STZyfv5+oB09d\na8jeRPPkZWxiQzYD3MwOUsWX4ym0tAadBTs7oRFXLgIYcZLIzaZrSGTgHdtI\n9p1XRwm/iUrBWrjLbtXQQiwGSoyQAoAf5ZtpAJJwpFoAKUWiCBtm0esXD+Z9\n7v6gwuY2f6AT6CU5vopRWl75UsnfLfD3rYyLTo61yNOM8fknq1hYNzo/HdYf\nZnXrxgWe2+kmC9830pLciV8qgZHlZm9UVpEns2CAz3G6zlz8sXhKjzNsfhlx\nurs0\r\n=GsW5\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDOcc+8ul2pUtKXrKoNwuYsTBTbXWV1yPC8zCVHfgRrRAIhAOXxafIY0R8CWuylnZxeT0FIdGUwk/JcWhZPaVBn/wtc"}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_1.0.1_1549446724317_0.32596824243068223"},"_hasShrinkwrap":false},"1.1.0":{"name":"@pseuco/colored-petri-nets","version":"1.1.0","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@babel/core":"^7.1.2","@babel/preset-env":"^7.1.0","gulp":"^4.0.0","gulp-babel":"^8.0.0","gulp-eslint":"^5.0.0","gulp-mocha":"^6.0.0","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.4.0","should":"^13.2.3","source-map-support":"^0.5.9"},"dependencies":{"lodash":"^4.6.1"},"gitHead":"2f446f1279cf981f81d8ec9e38935e5f4cb47f47","_id":"@pseuco/colored-petri-nets@1.1.0","_nodeVersion":"10.15.3","_npmVersion":"6.7.0","dist":{"integrity":"sha512-WwxzOkLyhUFk1ZZnOMB8FZF0o6EYrUla/5TTPrgy8QIot8HPAr7X8qPuMerrQtOq/CpgccSoH7IszZ1YEw0tbw==","shasum":"be9a4577911c14a60f399c4b3910b2b1d3a88001","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-1.1.0.tgz","fileCount":16,"unpackedSize":374600,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJckmu6CRA9TVsSAnZWagAAhpsP/Rb7z2gyNXsjfGz7dKUr\nT3S3wAjy4GYq1TCxIlkYV6qCpTgsn4GkKhTAlnje/0au6TI+++oYIDKCr3hW\n390p8zyIXT+9bEC/eyHSWwejhNJStfLenIQGEpWm0b+Uhs5cZIsXEf5/CZmt\nQmPRM0JrQIsPBjtVPZGE6KyI6zlJK9P5OLijWNokq//L54r5SuJy8PlHnSqn\naTscO1wNvKO+Fcj5hYHT2L4r35jxGyC9YEqAUWef72o4jJX7fcN5lztmw71t\n/DdMX6IOG9vrXP06QvhiXI3aFuJcObbKCp78dB7M9yugZnS4LLUldgviipWG\nebAPjWHlrk8A2l80QZkaZiFvTrdKSvurjeg0KS0MhBz0UoTC+VPnxBVnVacb\nTZjxpSYo6DvjgkgR+WMEshxGj/IPw9SnXAkebFf+zrLUCRwWtU6KO8MJiIzh\nyIbPcg7phL/+F8ca0dBEwbEAzxBZosIcUGpLoU/iMgAvRISQL7sLd5jWEfLF\nSpg+BLjpOwVNJwLkitqj6l+cPnd5Q0EFPLJvs90TgOfanucp3pMoU0pJBPeK\nh5jdcu1dHmxNXcTrdBdEX/clN78g4AlFmIlEneSLPmFTI4NRnE7L7p3ES3om\n+9PwKX9oQ19A+EU14WuPh5+uFIJjX+xmJno7psWGSpncYwrkvEcx5xL9MF8D\nyA+U\r\n=dPpJ\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDXz/lkNQfwYERcUe/925dVKuvqxDp2SyzzYlr02lR7jQIhAKzNtxNdu59O3SZ7SezDRqv+ZW7BbSJbiW7d5iskmeqT"}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_1.1.0_1553099705405_0.0670107769671835"},"_hasShrinkwrap":false},"1.1.1":{"name":"@pseuco/colored-petri-nets","version":"1.1.1","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@babel/core":"^7.1.2","@babel/preset-env":"^7.1.0","gulp":"^4.0.0","gulp-babel":"^8.0.0","gulp-eslint":"^5.0.0","gulp-mocha":"^6.0.0","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.4.0","should":"^13.2.3","source-map-support":"^0.5.9"},"dependencies":{"lodash":"^4.6.1"},"gitHead":"ace5c5b4d498f94898e3d175b9470a812408e5f0","_id":"@pseuco/colored-petri-nets@1.1.1","_nodeVersion":"10.15.3","_npmVersion":"6.7.0","dist":{"integrity":"sha512-2sZ1swn7WOVY5vLx3956ZBOQrYg0qixMI4RfKZmV+zHnBVSrqmqQVOXh/DMRB7LKOkoDodIcd+xk0yyQlLMoOw==","shasum":"c6f189f8e5e740179c779c93332e3c31bb7dff33","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-1.1.1.tgz","fileCount":16,"unpackedSize":374622,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJcnj7MCRA9TVsSAnZWagAAqdEP/jAU1n7lsJlz4G4fH70/\nlAx/Nq3E5BqQbu3sLp7cZ+AgYCilR4Yhn40U1gbq+4QmHqM0pPITwBL1EKpe\nuweLasprJ1spYQIqoaCd1Z2NwuNv9zhGwNYzf5KDLE6e3mjYTsbapwZKXdF3\nU0h8t4ClMZ7Exqq7icvdtxVvuO+OAED9nSYaP9IUahyXR3h57As8yn6om7TY\n91fgXR4kevpN8XvU+lhKY3KCaZ0t6K2qAIXHP25f1p4xkXeyXfqlfmaQnWcD\n6YkaDehICBTUDu1jId9F/m4svlpD5Ruj+1V6qRStPOoCja1C71gkn3H/ht1E\nftFXEVpJpsX4B1hjyslMnSO/xRMCu0V4j62CxIGzX3I4Q4tJB5WFKG0Askjj\nM653zJZjCv/FUVKpjaKrlE6H98Z4kK/foMt2OhQopV81eurlijnLTA/+XU0L\nzreITFwT/P5rnfkK1W2prHmAwpsspy9MI7EDmDl9Bp6KbahUrm9xfMgGylxg\nu7LcsJCHUZE1AgKe96CBW61oSHIY1+HGUefbxxCETxgKT6qBmWAUu6LIV/k1\n6c8xllwtkOuF9eDMxxcYH9aQ6tS8FquIViwp4E2OXSIDqbZ5q8inOqAd+nj3\nHj02Z7fg725V7ClLbTfHd0IxwiysznxFc19Dy1AsEkdSz8v/h1iFYP8em5CH\n0KWQ\r\n=/fjx\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQC2ubIf1g6T3XFifMk1DKZOnv1xAAEZ2v6c4vvPfsB9wwIgbchzLDcI4kYgM1OuAjxjl2ceHFcnpDwmkODxhGrGtWs="}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_1.1.1_1553874636112_0.6560950740589768"},"_hasShrinkwrap":false},"1.2.0":{"name":"@pseuco/colored-petri-nets","version":"1.2.0","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@babel/core":"^7.4.5","@babel/preset-env":"^7.4.5","gulp":"^4.0.2","gulp-babel":"^8.0.0","gulp-eslint":"^5.0.0","gulp-mocha":"^6.0.0","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.6.5","should":"^13.2.3","source-map-support":"^0.5.12"},"dependencies":{"lodash":"^4.6.1"},"gitHead":"700a0a64cc4c4e2b1d358b451ec6be5a7606cedc","_id":"@pseuco/colored-petri-nets@1.2.0","_nodeVersion":"10.16.0","_npmVersion":"6.9.0","dist":{"integrity":"sha512-tZ5YgUWrn4nr10KFf2uPJTzyxq+o0D6I0fHtFWNLDHWlBw05rI7P2LdquEtTdXIClgzTghJEYKmIMsIoB4w/uA==","shasum":"8782ddfa07a37227b2f11c2f1c029fa2a25cd5a0","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-1.2.0.tgz","fileCount":16,"unpackedSize":411307,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJc9AVVCRA9TVsSAnZWagAAUvgP/1RHZVsVnE+YdCWy2o8p\nY9OroS/P6z31VbsAUkFFNEfeEmMslcRxE93gHFvjf7xEWqQ5a2/JveRgEZDE\nm3xUGDb+iYyC/fNxMTbY9Q/SI5FziOsg8HIB4/5Wqe7zTt34Ze5V018KdOUH\nKSlq7vBRuNmH7w90V9B8gVQLIt32eW8GnrVRrPLnEiBnhduA3Z3u88ooChm8\nuC63u+WxbLsyIpzALwz82gojVMDd7laernz0XGMOzL8sctWWc7UJpJ/bhcUD\nJGcQuziLcoBZvrHIc4UY0S2NbQ6GHOiYBBSQpifuwdgnAB24MPmZYobZhE6i\nkeVkwuiB5gVn00SsFb/Oc5jL77jvlpkOI2qwfIYlz9wkleo0B+AQh7wDpEJ2\n4ZIFNWo7+IVXZIQ8hsRTW/SPvo8qGBvSfOpoRenjBzR3X78m307zBe+ZdBQG\n6qQdvV+ByVfDO2cSdyFvvOqguDGLeAuFFtJLNR96uQfpw6EdxZSahR3chb8e\nfDyV9itgeDlBKisDkWjMK0hhZM5GPA0BTlAAq+rjCRlJy6IJp9BJPKQUp3dl\nKuPaQYhHvJprIi/UOnP5JzXgl85tU8Uf0Dv8763T5EzE9ktN7jH3Tsrqkvhl\naunRNJIyeQ5gYpullDaitpIHK+ee486qiu/KMiDk0gDdetObCqW18CrohygQ\nD0AR\r\n=qQ4v\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCn1dPm4sN8QzlcCHFHW33hHyD4Hf9zUeBvHufFidh4WgIhAKWbOfdFw9S2UUrPalTP51OyJtY2s/MYDraUJbpiLRnk"}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_1.2.0_1559496020652_0.010779831340089974"},"_hasShrinkwrap":false},"1.2.1":{"name":"@pseuco/colored-petri-nets","version":"1.2.1","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@babel/core":"^7.4.5","@babel/preset-env":"^7.4.5","gulp":"^4.0.2","gulp-babel":"^8.0.0","gulp-eslint":"^5.0.0","gulp-mocha":"^6.0.0","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.6.5","should":"^13.2.3","source-map-support":"^0.5.12"},"dependencies":{"lodash":"^4.6.1"},"gitHead":"0c4f789c1a606b8c3baf5f313002263b78e337e4","_id":"@pseuco/colored-petri-nets@1.2.1","_nodeVersion":"10.16.0","_npmVersion":"6.9.0","dist":{"integrity":"sha512-YWRJ78T/4PwDT/blmVFKikgSEFACORBknPwDVTmr9GDpGKZ80darPTY+NCcO3W1R4N/1bznQgMRLm7XBp4QqBA==","shasum":"063d1bcc18dc85018c8201a468d170963b4a9150","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-1.2.1.tgz","fileCount":16,"unpackedSize":411918,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJc/47yCRA9TVsSAnZWagAA53oP/29GtGUEwP85cuXLkCP4\ndalIMqTiyvfB56T+RGyXXOknDGsUDOXhWi6eVjgU3MwHxfb8IJ4E4eJdczQS\nvc3dgn+7GfrJfgdyYO5Oy4cesO40s+wZx7tTQXGdLYDkT/xf6KfaTnlbK+Xa\njf3Z4Y7+F6WGyrsgc3GS+13kDOuLN4jYKhgnDeTxd3GOLkSbWznhuXT1Qrg3\nzIA+AZS6rE1doIfqkrOodesbFP4SJzMpaHw5WjAy8Bc+IA+50ibH4shey6/g\no9oZPRhlnvdATefMmy+5L59KThXsfRiSR5Od1iUJ+ty5S1b2EfeUB4sF5Zn1\nv1MT3X8P/xdNXfZULcQzUtfmn3trU79VAo5MUS6SsQ6LlQQnksyxj7CyA7wL\nOl/3+gjEgOhTst4s7ccMtFhj/JhguwE4Iwu0QKsiJBQrnkg8d95cTNSbPrDX\n4BFPmXL+VdL1Hkmteu4bWp3D1HyoHlBoy4b007lqIFOD3DgEjjqnwWsBMYpF\npIMxcOkqfheTJVeYurTDFBMrK6ztRzqQJ8Dzi5HnprVRJ5yU/gHsArddO10c\nkwLK2vNI1FieHRBYAABmbW9AkJ/yOdwzEKl5wUIIygFFmP/h2T4yu1/PjRXY\nDhRqw6guUH7tfIOLBXfhNoP2EqpvxsriudBDobd4yfLWop+yW/ZqQpnUkyaj\n+BG5\r\n=ZRO1\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCBf32gGWZccokuF7DcZgfchEm8PdITLOgC+mlwHhs+EAIhAOYSAb24YQAiyFXlgqQMAljzgqhTHpTBeSn5MwjhGopj"}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_1.2.1_1560252145861_0.9155079828119372"},"_hasShrinkwrap":false},"1.3.0":{"name":"@pseuco/colored-petri-nets","version":"1.3.0","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","types":"dist/main.d.ts","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@types/lodash":"^4.14.148","@types/pegjs":"^0.10.1","@typescript-eslint/eslint-plugin":"^2.7.0","@typescript-eslint/parser":"^2.7.0","gulp":"^4.0.2","gulp-eslint":"^6.0.0","gulp-mocha":"^7.0.2","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.6.5","gulp-typescript":"^5.0.1","should":"^13.2.3","source-map-support":"^0.5.16","typescript":"^3.7.2"},"dependencies":{"lodash":"^4.17.15"},"gitHead":"dd96d177b59be6ea180f065259508475d5778893","_id":"@pseuco/colored-petri-nets@1.3.0","_nodeVersion":"12.13.0","_npmVersion":"6.13.0","dist":{"integrity":"sha512-PmoLBOw7oedN2z3O7p1VOaaUa3KP81NARheJBdIRElsdNC5qk9QVUr07inN4TZPiDaHT+EGbXWva3IIdVqUmYQ==","shasum":"7ea4b87fc8b0552055e2e8fda533f9a631086969","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-1.3.0.tgz","fileCount":36,"unpackedSize":336564,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJd1W3hCRA9TVsSAnZWagAAU3sP/2ThlIdfpkGdbkTaPt71\nabcwdmhQu2tESBObrdoyI3h1OyWZnjhWv4+hhvFgo6BNkEUtLo2SsYyXmA8Q\nnyC2BffLmkGS6apT5keQu0RJW74er+4QgXw+Z8J68meWW/GFkELkRDQJZAfM\npBWbzi9A4tnKSzKKBlajSifuntqflDG9Z399PkNGs46MhvG0xwhFeKTeTjgg\nVwKjLcFqUzfjaazbB/Js6jpLRvQZQwe9o3ztksFa22mPTJOxBAiemx5i17J2\ny3llDlkkreWo3rVD9zPqI+YHeDTEOeKMPxP41qH0vtgoZdkBD9SJM0SOxg0+\ncjmAw6Fu1Ia5Vq+hAWfcTf4leP+o62PEvU9d2+6XPjsW8gb5kBrt0MT8rpP1\nzOxdmHlzpqeMsba2zr4IkhdFQsWsl1k+rLrSp0hJvqTRzc3KKiCJ7JrijyUm\nvqUuMUIKIXl4SokZaEXvFzM1aB5RE0teYjEcmR6N1nYbNTrqby/QQQkABfSE\nMDr1JQlxKRUaKq9h585bxM2leea3MtIdNoqZlF3nqIWC1uCH0306wu5nM9CC\nuJHygn756F9u1LGCCzywjj6Fka1n+07jsIbvGqdKAIpRT4tKpX8jt3qEAaaZ\nRsWWQNhUSiO3GTvOThhk8r/CxG5YhtnKXnCAkKC34BrS5HBiJ+lEel2YBQ1M\nEFTV\r\n=h41S\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCID3h5/PvUhul3rxM+1oam9MEeY2718ZPbRmNwV+o7Y+DAiAFgJ5+L3idRPo3xVDrrov9CQctlC7LndypTQqi+VBLGw=="}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_1.3.0_1574268385287_0.09522161598155598"},"_hasShrinkwrap":false},"1.3.1":{"name":"@pseuco/colored-petri-nets","version":"1.3.1","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","types":"dist/main.d.ts","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@types/lodash":"^4.14.148","@types/pegjs":"^0.10.1","@typescript-eslint/eslint-plugin":"^2.7.0","@typescript-eslint/parser":"^2.7.0","gulp":"^4.0.2","gulp-eslint":"^6.0.0","gulp-mocha":"^7.0.2","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.6.5","gulp-typescript":"^5.0.1","should":"^13.2.3","source-map-support":"^0.5.16","typescript":"^3.7.2"},"dependencies":{"lodash":"^4.17.15"},"gitHead":"9b65f93208fbe49ca72a3abb8bf6a094ddbd98a5","_id":"@pseuco/colored-petri-nets@1.3.1","_nodeVersion":"12.16.2","_npmVersion":"6.13.7","dist":{"integrity":"sha512-2mUetoILBVcBPJNPD8+RJKllIkbXXa+n9xZ4zmH/a44mfSB6VVKS2rOlb03VTZiHS+psfwv2w1IMk4N0OfqhAw==","shasum":"dae09f020c355f2d2027cbf42f9c309497ed365e","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-1.3.1.tgz","fileCount":36,"unpackedSize":336564,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJenbk9CRA9TVsSAnZWagAAVo4P/ixwO6a0yZrMtumtLAJz\nnkmiCOGEPiSvSMKq1UWMHIIjy2eY1lmm/gz98ld7CQEOsjS3XaRArs2Ytxpi\nQL8X2wkfVQMB8iclPvMFSb3Cvet1zPqi/HNkbOFzh7DA0zDggp8Kn1wY/t3v\n19dnRxAS8i1wII04pm1k0nSf4kUZZnbT49ckNYmmLEy8AqCCPJRl95otJW/S\nC15vGqs5n3L3K4lmCwxWvAHn1cA4y1f20BZX/5iH/oM4BDz69Ru0enmMYhRP\nz9b43aXmpwoJjsIlNNu4vcNEaTBgzc0lT39LTXPFWBemI4bSKdXvNFxpa7Jq\nyou8dc2DadMqoKIvNq27V1FYJUHpmHi+r+o+nYGIBOtENh1gnq9P2nMO3SkA\nrEEXRL9Y9Bj6SAL/cGLRFAdCvb4eC9gNS4kFT2AG9dWrFK/1CzhcFL9KQt2p\nP3j7gN6mS+kgfSoVGDe6vqlJ3PiMi9w9e2V+vFfuliOY3jj2YW0BkaYxm1Z8\n167xi5z2utkvpJp9EjotvSCHnKAXD0zTnRyBYIfF7boHF3ulVXl5DQ5K/TrS\ntSjzncYxAC4Cavfu3QmpAr3BhSqF0m/CGgh2tuXQmhUOGenYxytkv7oeFK4Z\n5kkWi7+s8OBHe1UT99ZEnih1QiIU5nnp9KyNEokSuhEdA8zNHwSOPuCmdVkq\nsuYL\r\n=9eBy\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQC9Kojzt9Z0d/CywyXvkJEn6YXK7vUWOwMCtw6+yQFgwQIgOiyp/dD438XSdGRson4GGnKYeyIG10SpcXc5xV8Va8g="}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_1.3.1_1587394876616_0.8976201557388117"},"_hasShrinkwrap":false},"1.3.2":{"name":"@pseuco/colored-petri-nets","version":"1.3.2","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","types":"dist/main.d.ts","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@types/lodash":"^4.14.148","@types/pegjs":"^0.10.1","@typescript-eslint/eslint-plugin":"^2.7.0","@typescript-eslint/parser":"^2.7.0","gulp":"^4.0.2","gulp-eslint":"^6.0.0","gulp-mocha":"^7.0.2","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.6.5","gulp-typescript":"^5.0.1","should":"^13.2.3","source-map-support":"^0.5.16","typescript":"^3.7.2"},"dependencies":{"lodash":"^4.17.15"},"gitHead":"e9f2fa00ddfbdcf57a384dbfe6bb134edb4a021c","_id":"@pseuco/colored-petri-nets@1.3.2","_nodeVersion":"12.16.2","_npmVersion":"6.13.7","dist":{"integrity":"sha512-pn1bW9VNciKTCwLPU261q9uh6XGWE5ltl1ma9ZE32gmfIWViutb57syKO7ca7R6Byr+a+Ic8kyqyXoyd1WgtVA==","shasum":"44a5b03b08be11c7de5eee2668cd4e08e20d1926","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-1.3.2.tgz","fileCount":45,"unpackedSize":461370,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJenb0LCRA9TVsSAnZWagAAuJ0P/jGwcb9T3LqZHk9BkTfA\nYJUz/ikrm0SnGRYmQPg5u1YeVHkI/usDqSswA9yBAPcmnGyXfNGbznSyXc9i\nMsFcVx9++KjFoflycD933VCkxyVMnBCusM7Zu0Z58lCbcYUg9aMhniwaTMkS\nnNb1O0ZzEw9dqaMPDiiBQ04X3osW6qsOJTwuMUdBnOX7R/dmayTejrFaxn85\nfzecdxVYv4uTs8dOOnCFLERuFjhiTQBdjKmfY80MjqMNhYAazvhJxMcsWBKO\nAcHsv4adnUFZz/mjyZlnIqbM+sqtjOPz97huPnwtn4o0rdeJU9dvVP2I5NHd\nd+Uo64vjbT87FW/lFeOLz+pwd6iGtmkzbqWfvEfTrL1KLj2infSktRrp2P7E\nnI0e/HcKDesdvikfM6oHFpry8ED92nKZoXM82RlSBNcx4IXbf/7HZm3Tw98D\nM95/eFcr77FGUfQosqKew03+BGFZ6d0vBlAmY4r0qHmd++bXZfZoEgUIWXUL\nI9Kycv9daFcrfmShnBS7QMxrqPPTBHp2i0OoEKPB1KLYqWZFX1umQt2NU/zq\nVamiKjAFYbRkMtm615/hFEhy6Oce3ac3exOhGLlJI2+QEZvR8icGkQfFM51P\nMNd1RXwQedyV5eU+CbCr5GA/bjdjKfrr2EsNFYHvBCJxgQsFoLl5POZJkiIa\niwgY\r\n=zBog\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIBL5A8qv3qZlZq+wKRtH8AQBQ531OIbNW3u1+O/55qVNAiEAgX2V5xCRsaHDm72gREhB/+Y2mYJQtGZIm09YFqrf/AY="}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_1.3.2_1587395851407_0.6016718555688101"},"_hasShrinkwrap":false},"1.3.3":{"name":"@pseuco/colored-petri-nets","version":"1.3.3","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","types":"dist/main.d.ts","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@types/lodash":"^4.14.148","@types/pegjs":"^0.10.1","@typescript-eslint/eslint-plugin":"^2.7.0","@typescript-eslint/parser":"^2.7.0","gulp":"^4.0.2","gulp-eslint":"^6.0.0","gulp-mocha":"^7.0.2","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.6.5","gulp-typescript":"^5.0.1","should":"^13.2.3","source-map-support":"^0.5.16","typescript":"^3.7.2"},"dependencies":{"lodash":"^4.17.15"},"gitHead":"eb82bfcdd3f39c1216eeec494340f630eba5c05b","_id":"@pseuco/colored-petri-nets@1.3.3","_nodeVersion":"12.16.2","_npmVersion":"6.13.7","dist":{"integrity":"sha512-7rp/7E0vsJ2xpDZR2LsiceiuP3z+VAnnxna5MEAeKyCGzA5GtoGJ+LdrNNyrDhV9p9SR5v9VmJVZQ2pq9IknDA==","shasum":"933b57d20032bb03bc681349d7cddf558ead6c83","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-1.3.3.tgz","fileCount":45,"unpackedSize":461394,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJen/lDCRA9TVsSAnZWagAAo1YP/2d3YT4+J33tY2n+MuYi\nVNfrO0lTlWcgKMK4EtME5QdsiR8S8Vf9mz8zU/Bh1hiIJTjypv3pWtPbuPv/\n3hJAG4pMAtguBS2QCYTsgwP4hLg1P0f4ocMELvqKR4AJtrXxOAkfUKT17eB7\nFhjjwcObmnLQXneTb9TB7+jVDgV0jMgCqd5pZ6CmtAkmTDcV2q6vVXOeTZzj\n8wiuU7Ny1bwBWhEEN6tsdTX1E+1ciRlXFg+JcAG5xySIiDnWIk9lIK7X4qrf\nujbVxABjVMrubPBPoi3aGAb0+jWQg1V3KQdQwPR58SedU122Lme3vjPZT1Kg\nuXoYyK7z8t1hqInTdw8IQ8vkHT+rAl8Wqw05Qgq1TpbEm2/TT3xFtpWExF74\n54ptju7qKmUp01Wqc2oAhtSaWIr4npiWbPEV96LMwPklN8ehW/uVCxq0CArn\n9QKs6zEfRT6kwb8rZbs7RD/EJtzv4DDRAyV/MXfOMZ9ZnGPZ433lJRTZwNl+\nTyl1LTPa3+YtQ89rIZ88Awbz66oH3Dk34JuflbiIorwphACxaOQONp1kRkkS\nfkP5iXzBn32JJOWHbiU3sRF70RL944D6Z9qDP6dW4dCMzw+4nPIGaMR6IAeF\n5Fzfq/gqbEpYGWqs/YIoA/YbIBTL/vfJDY2UMc62sfurPHIO9vcYQCzFwaHO\nQcT/\r\n=nlq6\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQD8OZSV4559HAqLrPbDNJr4H+fG90LJZlskiwB3kyE0LQIgCmFbkjTZmDE+un4ozLBW3ZM6/Cg6z9NQzn7dsHprPbg="}]},"maintainers":[{"name":"fefrei","email":"felix@fefrei.de"},{"name":"sbiewer","email":"npm@sbiewer.de"}],"_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_1.3.3_1587542339020_0.801630531439204"},"_hasShrinkwrap":false},"1.4.0":{"name":"@pseuco/colored-petri-nets","version":"1.4.0","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","types":"dist/main.d.ts","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@types/lodash":"^4.14.148","@types/pegjs":"^0.10.1","@typescript-eslint/eslint-plugin":"^2.7.0","@typescript-eslint/parser":"^2.7.0","gulp":"^4.0.2","gulp-eslint":"^6.0.0","gulp-mocha":"^7.0.2","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.6.5","gulp-typescript":"^5.0.1","should":"^13.2.3","source-map-support":"^0.5.16","typescript":"^3.7.2"},"dependencies":{"lodash":"^4.17.15"},"gitHead":"059c9c23c4875a69fe53c2ce57e1932076024bec","_id":"@pseuco/colored-petri-nets@1.4.0","_nodeVersion":"14.15.4","_npmVersion":"6.14.10","dist":{"integrity":"sha512-ReOhAs24dTlSWhjVKhNyWzXpSEoOBUm8CUvJHPFRws4Cs0eQHo/sQbgaDHbInYsLC/NaG73vL9zqSRsIxTAv5g==","shasum":"a186cd3376c6c7f6283df8181ee15684dc76d60b","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-1.4.0.tgz","fileCount":53,"unpackedSize":476048,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJgEECPCRA9TVsSAnZWagAA4bIP/3ZnDX601R8b7dV2W3tr\n1uJNCj4oIF0E1cOB9bbhEYy31QTfcMyWRPONmr7Hc+G6OREqO9pcV7xNK1GU\n9BfVd9rdYonuCy/cbwnHgWSnEw9Z1rbAaxLcq71i9h/YjNu//HxTlzVrtQgh\nFmEnSEqqFSs5TPv2Ft2ye5ggboGfyLCBsoOUrP2/96Zdyim14E1UrrtrrhGU\nv1Zb+fCOZuB9HAMHzC97zhSGfgKkVOSYoOR8a/SQmQx1Iqhp3eNV6+to6Ptv\nveKKEikqm0Z/+QwKBX2aBofDpwoZBMCKL5uxbddbPM/ferbbu+pWpOdlo1ay\nZFQ/fRD9KxIwY8czhUWbca7616HgQpV60oSEp8dQWyFENavNgkwo9EeK0KtU\n3qITF4PPP/upNG8qplk/LXsi0431o3lmRc3zQ3AaRvzSJ8tzzH1LQjMMusC1\nj0xyJVq2OQxSXbO3yr+z/zgvra/6SyfExdXkngFJGC/nEGuFcCJ0DPo270uD\n/vOiVNy2HlVNtkuEBBKvT3ZQUeUfajZBPKsTeFDnkkEaevQRDcqr07zbluU7\n5Ffz3W8xiuJDJS8her7C9C6gdSgn/zT9g4YE74RkAvdK6KucOvvwKu4aH27z\n9HnUY0FyNRLEp5Eeqyyn51UbhLbQIpoNXUOcztSzuqYpom0svDWp3rnt5l2b\nJV8a\r\n=KL45\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIHM9bDJtQZ+PMUJJDbKbRxPRYYqA1uSXrFH3rXtOVV7oAiEA6P9yxsme3rNaQeee5ZWk8v9F6uvFx33nSrEsYXf2NTI="}]},"_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"directories":{},"maintainers":[{"name":"sbiewer","email":"npm@sbiewer.de"},{"name":"fefrei","email":"felix@fefrei.de"},{"name":"lenabecker","email":"s8llbeck@stud.uni-saarland.de"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_1.4.0_1611677838766_0.6194281685953307"},"_hasShrinkwrap":false},"1.4.1":{"name":"@pseuco/colored-petri-nets","version":"1.4.1","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","types":"dist/main.d.ts","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@types/lodash":"^4.14.148","@types/pegjs":"^0.10.1","@typescript-eslint/eslint-plugin":"^2.7.0","@typescript-eslint/parser":"^2.7.0","gulp":"^4.0.2","gulp-eslint":"^6.0.0","gulp-mocha":"^7.0.2","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.6.5","gulp-typescript":"^5.0.1","should":"^13.2.3","source-map-support":"^0.5.16","typescript":"^3.7.2"},"dependencies":{"lodash":"^4.17.15"},"gitHead":"0009bfb1c392c93cf66fb860ee778e53b4adda76","_id":"@pseuco/colored-petri-nets@1.4.1","_nodeVersion":"14.15.4","_npmVersion":"6.14.10","dist":{"integrity":"sha512-gYmlAizNuVZQWgmFV2je7ZITj0q39Z7cNyrQnKpeYsISxfP5Gh4DxffNBGNuk+XqnWVoIsEq+GEMhOFDlA9YBg==","shasum":"c3a8fe466ccef94c267783bc4e079dbaf12f1119","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-1.4.1.tgz","fileCount":53,"unpackedSize":476274,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJgEYGMCRA9TVsSAnZWagAAqAwP/1UOksO4Zg8zUP/WVBJA\ndcxlaLyD1zJmlCjUPqIaLTJfVMnz7l+nt2JosqKHgo/wIkEj8k0F2K/sy8Kc\nPvm0ZSuE0LKaWGlDOILyumRmk8K8t6ZJk82IPFjCCU3+rBX9UqH+CuCSofB4\nP7VAvD3T4zR7OPN1K81cc0SR3PmGSgcYDognYmsJJ/AqOVtcQlFssdl1FWz1\niQQdN0iBzZVCrGEgw4+lhupOGbGdWoq8n8sF+v0ffXVsDwon5rKo0CAQrxGk\nTjEipvq7emTK0Y9bjznwhjw7zMH98KpxDUOTP3qwMMs0f9OLW5JHgxDmyLER\n8fZZvfP3JcfXoO8k+4+Gs9xFs+opyn26BEoNHV7TswtBsvUqnD4QhpJp7t8X\nUHj8kiHSa9EgImMbqOucrdr0Fs/hLu2iGVwJqOsPr0pKR4VAW3suldNt9tC5\n0X/Bbpye6yneLxuYKS//9eAZxGXKVCm90nAkg8PoIEoBHf23LDUKbnkux/Oc\n+jMkKN9+PlPbxJI3tc3UzP2afcc0SSs6GQwqbU0gu8X/pDkYfv8czZjbkb27\n1u4AvshztGqHkdtad2t5aZWt0vYTt3TzViNyOcT4KYqZtvJPQmxuyxTAFWVv\nVwTIEnfVZ6L2gqf+7rkY4HB4DkXJ+RCVOOlIz/w2Xtnx+DijUtOmyfQ8YYw8\nDWas\r\n=4Oo5\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQD0m3+lfDPuB701KgVYwe9wjlpKKZz+Br5L8y9uj712KQIhANJHkoBEmv7UPgjYO6Xxa0wmHFrbh/hzuv/5JovOof3s"}]},"_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"directories":{},"maintainers":[{"name":"sbiewer","email":"npm@sbiewer.de"},{"name":"fefrei","email":"felix@fefrei.de"},{"name":"lenabecker","email":"s8llbeck@stud.uni-saarland.de"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_1.4.1_1611760012035_0.15145564175162285"},"_hasShrinkwrap":false},"1.4.2":{"name":"@pseuco/colored-petri-nets","version":"1.4.2","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","types":"dist/main.d.ts","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@types/lodash":"^4.14.148","@types/pegjs":"^0.10.1","@typescript-eslint/eslint-plugin":"^2.7.0","@typescript-eslint/parser":"^2.7.0","gulp":"^4.0.2","gulp-eslint":"^6.0.0","gulp-mocha":"^7.0.2","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.6.5","gulp-typescript":"^5.0.1","should":"^13.2.3","source-map-support":"^0.5.16","typescript":"^3.7.2"},"dependencies":{"lodash":"^4.17.15"},"gitHead":"11f78b29df762e91c1b81f0455d30511739766a4","_id":"@pseuco/colored-petri-nets@1.4.2","_nodeVersion":"14.15.4","_npmVersion":"6.14.10","dist":{"integrity":"sha512-zTClqCTVcxxDnAnkVGwwlSy51I5zwxtTc2CVR6vMdPsSCWNht/ASF4dlh0Th1Phe5dUQILdw6gAoO76tuXA1+w==","shasum":"bfed270957c3a08df616c9f8d4589e0155b470c5","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-1.4.2.tgz","fileCount":53,"unpackedSize":476515,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJgEYs1CRA9TVsSAnZWagAA8lwP/0XyCtK3pktOWmxKMYTn\nTwkQpA1g8EB+eEjpfjnncBoHNM7U7W4VJl4Qr7LHLViStgdblc/Avat2EbtE\ng5Dwze/JrjMu4X5tzhI76SHAP7H15bEFxl3eUAEhqUBxG2w/5vEi5fBAB6UB\nJ5d87I4WGcfrsGkkexXdXJ1pDlbe1PtN+MQUVsoigGYrXIkJtwrldS9t2Xp9\nqNe+Oc+7zgHeSmUk7gcPCwkVZ7mIsLM9HVa8YcxHGf0kdq4iA9RV7HQTrOLz\nUPA6ItnVHYvh1Qa8pE0IW8/B+9bthBmTpo7o/Hy8w7/XXNv8Nr9a3kGtJMHl\n0I6zPhkhFuJem9UvouEXl62fAkoXy/zHm/kgNrClyOCOgNfjgNhjwMlj2lSb\nXwkIelmwwzwdiAHsIqzg29Vu1kca/9ItoGIiltgyBxiseHFTOzxipz99yHS3\nQENRtmojKEPP00toxC9qS//MioyKOLBgFXLoDG9zqfa9iemxK9nMXkcEZ0Yh\nbUbDkG8Es3u2eioTpoEkW3wvDPU1LJTB9u9FXqJ2dLanyl4/OUs2X2Zg6fjG\ntJMO0W4Wo16WYJ6/pEAL1fjwxGQQLpZN31NU8ROO5mgnaUxuKVRMEd6GJ7xf\niNvkN1puA5M+v6WLjXdOv86AFPqTbKXcLtIcGB3frjvvwRsOgtKbkYNmDlLG\nbJ06\r\n=57PK\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCnLqKQm2nEVl/7PtKaZBKofFRnYoyhRumj+gWenxdSNwIhALQhrUGtuF7MWDN+IMVgfrwe5POBhGeOTh2VSH7pxSbn"}]},"_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"directories":{},"maintainers":[{"name":"sbiewer","email":"npm@sbiewer.de"},{"name":"fefrei","email":"felix@fefrei.de"},{"name":"lenabecker","email":"s8llbeck@stud.uni-saarland.de"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_1.4.2_1611762485041_0.9773117922826953"},"_hasShrinkwrap":false},"1.4.3":{"name":"@pseuco/colored-petri-nets","version":"1.4.3","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","types":"dist/main.d.ts","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@types/lodash":"^4.14.148","@types/pegjs":"^0.10.1","@typescript-eslint/eslint-plugin":"^2.7.0","@typescript-eslint/parser":"^2.7.0","gulp":"^4.0.2","gulp-eslint":"^6.0.0","gulp-mocha":"^7.0.2","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.6.5","gulp-typescript":"^5.0.1","should":"^13.2.3","source-map-support":"^0.5.16","typescript":"^3.7.2"},"dependencies":{"lodash":"^4.17.15"},"gitHead":"0f8397196f7cbf672a8e600cba8296f8daa9e62b","_id":"@pseuco/colored-petri-nets@1.4.3","_nodeVersion":"14.15.4","_npmVersion":"6.14.10","dist":{"integrity":"sha512-TPZxEMMoCQ5uaGBgSmaN3eGBZTupgQ23yuPT43damTAWTBg9e71VCRH6YSIsBSRRrspjRQ+BJmR8Hq3WhYevhA==","shasum":"0fb8f0edd194944b3c40cffdfefac95ea5b0fc23","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-1.4.3.tgz","fileCount":53,"unpackedSize":477181,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJgEtoYCRA9TVsSAnZWagAA27IQAI3Q2axDNhs3kLEdbrnB\nZzTX1TaetGCP7/MG5U6q3/Lk/GLfrDCM+L3vuHNrMZza4NI7QAANGpvlxfsc\nTUkNykp8w1PGZMncU+a9wPoq+B5S1PPMXkn4NQMgYTvj7sMXspdYYipKIJ57\n5S1yvarq2h06v6W+pYwgIonURqjIIc5v6xwr9/B0UhhTvedqFbyl9Tdb1+4I\n/7q5dVeTBTQrZ1vHlDqXk4p4wGS3ZqWD1kyYX2M+BS0P4K4NJDNKjpJRW/+2\npPgac6koRGTnQxkmfRwVP5BS+qjMo/IByX6X9ds6MKPhUcV7bexYsuzPZvVk\ncBVgmvT5ZEKgGXMnRLWOZC4jrnX6WJDkxqP3xLwmcRivtwI9J384dfzs/uI0\njYR6Oe0wOZhaY4NnjZpdTLqtW63Hk2vPEqYziopYkjslA41+z4eAngAwaA9l\n43anIstKU30Rof++PBAjKuw+Z9GHTwswgeixMXwe584JeiASt+q+tfSK2k/7\nZt6BXIrrVNl9Z5ogYQJZsRySR0ot4vu62E2wRu1KyoJ5QaKSHrarE2eazxbm\n28P/BhCL0rjJu1OaFv2r0PfbqtfHMcrNEPvLjCBrwODaTvY6VPMVF2wUQxy0\ncmx93HX/vwFOKLtakHwaEaevk3Cd4kDtgTRrvqUPZ+ZyKknq50O95O94NSbA\n2cAZ\r\n=6zFK\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCsXmiaNyJUbxAz1LCRDqoGnLg53aj9/TANWumrfXr5ugIhANINysM3zH3VXp87xVXxbJMGc0+Z7+lWsXrEDO0B8hPR"}]},"_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"directories":{},"maintainers":[{"name":"sbiewer","email":"npm@sbiewer.de"},{"name":"fefrei","email":"felix@fefrei.de"},{"name":"lenabecker","email":"s8llbeck@stud.uni-saarland.de"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_1.4.3_1611848216332_0.05138882006571932"},"_hasShrinkwrap":false},"1.4.4":{"name":"@pseuco/colored-petri-nets","version":"1.4.4","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","types":"dist/main.d.ts","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@types/lodash":"^4.14.148","@types/pegjs":"^0.10.1","@typescript-eslint/eslint-plugin":"^2.7.0","@typescript-eslint/parser":"^2.7.0","gulp":"^4.0.2","gulp-eslint":"^6.0.0","gulp-mocha":"^7.0.2","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.6.5","gulp-typescript":"^5.0.1","should":"^13.2.3","source-map-support":"^0.5.16","typescript":"^3.7.2"},"dependencies":{"lodash":"^4.17.15"},"gitHead":"79faaa4f0d88881433c2c35f73bedbaabaa8c3b7","_id":"@pseuco/colored-petri-nets@1.4.4","_nodeVersion":"14.16.1","_npmVersion":"6.14.12","dist":{"integrity":"sha512-C/yCvB4eBJCQEnr2WFMjhMQNrMg/+Ee6A0N54LDKnl1LfnGhU3iPZK5WJLlhhZECPFKOzZk5qjdHZ9Q04DhgtQ==","shasum":"c4f33bc2627271b9ff944853905aa9a5a3802dde","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-1.4.4.tgz","fileCount":53,"unpackedSize":478865,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJgmS8bCRA9TVsSAnZWagAATewP/1FS40UYFgfp9WE8X/KZ\n+u5tIEPbBvqFRksaSov0/621J/q+KAL3QeGJgXU/UEboNVJ/77LIYyZb3DFK\nvls5vPH503g+TXLpQkJiNvPCaLkwN8cHZqLNobb2t5cGQV34EDjozvvIPo5Z\nfDy2zsKS1uVRDom4idVVe/5l4QrXxHjw5isF2dLpjjrMyPKDZroSMOehBa4R\nCiu2xXZSH9FkQ6svAW1Qun+wiL9GXpNOW0FAsiafldKUVlEPvbW9o7ke01+a\n/i+4HePQoI1TPjrXCAuFgkmG1jqy4grfH69d6V8ZefmphUxB6NrXUCtrtP9L\nhrMwMO4Ml6RjiTNzsFPsuRLJ8l0ll+9jGb/kAkkOReqkywA22L/j4SwaRpW5\nsuQ8MwEzVWTSz1v/OP8c1ZUbPmN3Xq8QOTSwxi1wflH7FNNlZ243P0TTrx1e\nGqfpO388COyw2wnsJSmrcVICntcBcjIpExU8Hrz41Aps2Kq4nJmyO4CH0oZH\n7FpQIf8QsnF60JN33bu7wXstefuJSeWF/wGjoX9XiJngHxBMueH976OJsWZf\nsyeNmgYRPZnJVxF8capbfRFCVDBUO6s/4gX4SBpKmCXdEtrrMuoDRLIRC3kB\nx0Re0TyuMdaFl4+Ft8BpgStHAGLQPXYNL6jiLVRc0s61b9EdM5YtVkGb/3LI\n2AC7\r\n=MDgq\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDYmfDDlEyt+tswbtu6+7kbSs9SVoPcMixeC72nTq/nqAIgInDfGwY841PKg6GFdaXSujnkHPNaBm5g+5qB5q81MAI="}]},"_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"directories":{},"maintainers":[{"name":"sbiewer","email":"npm@sbiewer.de"},{"name":"fefrei","email":"felix@fefrei.de"},{"name":"lenabecker","email":"s8llbeck@stud.uni-saarland.de"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_1.4.4_1620651802555_0.6970944759655462"},"_hasShrinkwrap":false},"1.4.5":{"name":"@pseuco/colored-petri-nets","version":"1.4.5","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","types":"dist/main.d.ts","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@types/lodash":"^4.14.148","@types/pegjs":"^0.10.1","@typescript-eslint/eslint-plugin":"^2.7.0","@typescript-eslint/parser":"^2.7.0","gulp":"^4.0.2","gulp-eslint":"^6.0.0","gulp-mocha":"^7.0.2","gulp-peg":"^0.2.0","gulp-sourcemaps":"^2.6.5","gulp-typescript":"^5.0.1","should":"^13.2.3","source-map-support":"^0.5.16","typescript":"^3.7.2"},"dependencies":{"lodash":"^4.17.15"},"gitHead":"a5842607aa80fa0c4491ef62d956d8589cb7f7cb","_id":"@pseuco/colored-petri-nets@1.4.5","_nodeVersion":"14.17.0","_npmVersion":"6.14.13","dist":{"integrity":"sha512-xZTPiCSfBk0FIe6shu+vKEGvfNXHYCZ9u08xpARW5oq47VMfnCCUdZyf0l6KsQvRs1lZdn8n85PLFVdGXnmFlw==","shasum":"d8c36fe9a279f79ba245a742f6f5669ba268f740","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-1.4.5.tgz","fileCount":53,"unpackedSize":479169,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJgwK1HCRA9TVsSAnZWagAAixsP/AiQYGKGJoiQByTApxEE\nEL8kphIRPPC6Db1/e6dIwSkj8npzhD3fJyrQVOoJbvGzsKkwhC0huWQSiyjA\nGs1+9MLnmE6ZUeRzE9EHHjkNC0QCRl758fJixsoUquwtKwMaCQZQQgHsWcEK\n8v23eAU4PqE2PrcYr8v8pAtYfRURF4cnBJ2qGCZSKsqajFZYNh7yVDerDK5p\nRRccqycatUd6oab3TcBufiKhMWzQRC6d8yS2OQP2Im/mOXI88M78EHuk+L9P\nkeIxdbVD0WOR9uEWh/7XAPCV7uJA5rTEi/6rIRwDGhkJaDn4VmDKtxpJUGrp\nj+grQAn2k+U2IxHlY/6/xwvtzfA+QUTFJyh6ZFpmzVfw/hc44HoDVuJU9Q76\nKxK6tDhYXGId1kJh22GLhs46Nhv2cyBUMZsL+3qD5hp8uBtdwL4X41Ub+d3Z\nlsJIz7FGXLD5iesoJDM3LL5Zyas/m2AXsIQUrQSfdNwzD20V5abWEFItDdNu\nehvQzrK2osPar33xUNiH28fb6mkA4qSieWyPrU4KJOTYDrj3d9iwIplmGaCn\n5bOo9jXnJUnqk4eTpWGUinTDgfVqKLtbkGyu/bwpKjy7MYwJT0bZ6nLYwFBO\nZuCQ6fti57mF2OWKQA5fcsZcNmEzIShXl+Bywa+k0G+FQbKc+TmiTLVHyAHF\nHRFI\r\n=gmPE\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCGOIP1u0Eh8uO+s68kBEVtWaYBgCrInvBrGTtDYLX6xgIgBTbLUwBPXGhtXArgTWkz3nE/D+goGsKBBQoEUMaRnI0="}]},"_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"directories":{},"maintainers":[{"name":"sbiewer","email":"npm@sbiewer.de"},{"name":"fefrei","email":"felix@fefrei.de"},{"name":"lenabecker","email":"s8llbeck@stud.uni-saarland.de"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_1.4.5_1623240007464_0.3943081289704611"},"_hasShrinkwrap":false},"1.5.0":{"name":"@pseuco/colored-petri-nets","version":"1.5.0","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","types":"dist/main.d.ts","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@types/lodash":"^4.14.202","@types/pegjs":"^0.10.6","@typescript-eslint/eslint-plugin":"^6.19.0","@typescript-eslint/parser":"^6.19.0","gulp":"^4.0.2","gulp-eslint":"^6.0.0","gulp-mocha":"^7.0.2","gulp-peg":"^0.2.0","gulp-sourcemaps":"^3.0.0","gulp-typescript":"^5.0.1","should":"^13.2.3","source-map":"^0.7.4","source-map-support":"^0.5.21","typescript":"^5.3.3"},"dependencies":{"lodash":"^4.17.21"},"gitHead":"02d1e3afa3a4769b1c78ea16aa2e6b3f3841c54b","_id":"@pseuco/colored-petri-nets@1.5.0","_nodeVersion":"20.10.0","_npmVersion":"9.6.4","dist":{"integrity":"sha512-88tsYQ5MDreoNSxKEdt537t9Rw0WCvvGe+2qVav2OT1cdbJXHD3ItkFTnyFgDKbQ9bcNwa69ZXPyr/uRj3pxFA==","shasum":"56e8d48217e5f0e5032e16421188372e4eee444d","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-1.5.0.tgz","fileCount":49,"unpackedSize":489856,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDYAQ15otWBOxBxzzc/SKD9agPiBc7fgF/qhYEQYXLsAgIhANTi4zc8Hknr9zXIEvDNd8t974Fn94Y4OmrfksKVLXuO"}]},"_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"directories":{},"maintainers":[{"name":"sbiewer","email":"npm@sbiewer.de"},{"name":"fefrei","email":"felix@fefrei.de"},{"name":"lenabecker","email":"s8llbeck@stud.uni-saarland.de"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_1.5.0_1706535325445_0.2697776151753992"},"_hasShrinkwrap":false},"1.5.1":{"name":"@pseuco/colored-petri-nets","version":"1.5.1","description":"A library to express colored petri nets and analyze their behavior.","main":"dist/main.js","types":"dist/main.d.ts","scripts":{"build":"gulp build","test":"gulp test","preversion":"gulp test","prepare":"gulp build"},"repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","devDependencies":{"@types/lodash":"^4.14.202","@types/pegjs":"^0.10.6","@typescript-eslint/eslint-plugin":"^6.19.0","@typescript-eslint/parser":"^6.19.0","gulp":"^4.0.2","gulp-eslint":"^6.0.0","gulp-mocha":"^7.0.2","gulp-peg":"^0.2.0","gulp-sourcemaps":"^3.0.0","gulp-typescript":"^5.0.1","should":"^13.2.3","source-map":"^0.7.4","source-map-support":"^0.5.21","typescript":"^5.3.3"},"dependencies":{"lodash":"^4.17.21"},"gitHead":"4e6624dc102118b294f61acadaf1c3a1674e540a","_id":"@pseuco/colored-petri-nets@1.5.1","_nodeVersion":"20.10.0","_npmVersion":"9.6.4","dist":{"integrity":"sha512-1gFZqedAUSBfd7pIoI35s/GNY49gjjDY9vyxfwWXfpKi8nqE0qDmNFEQUDpzu20j2J6YKsfOpJHoS8M9/RQGdw==","shasum":"21b846b1a25c77156b2ba27fc703df13c2e17d4a","tarball":"https://registry.npmjs.org/@pseuco/colored-petri-nets/-/colored-petri-nets-1.5.1.tgz","fileCount":49,"unpackedSize":489966,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDx/+r3FLZaE34jQIqHTYFyJTiz5ERgx44PRAapoXoEJgIgcOnSxKa5jQn4SnoBmZNr1u/1gE4snkM+6/Ub3NlogQc="}]},"_npmUser":{"name":"fefrei","email":"felix@fefrei.de"},"directories":{},"maintainers":[{"name":"sbiewer","email":"npm@sbiewer.de"},{"name":"fefrei","email":"felix@fefrei.de"},{"name":"lenabecker","email":"s8llbeck@stud.uni-saarland.de"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/colored-petri-nets_1.5.1_1706565561199_0.5145773361759842"},"_hasShrinkwrap":false}},"time":{"created":"2018-10-30T13:34:52.559Z","0.9.0-rc1":"2018-10-30T13:34:52.899Z","modified":"2024-01-29T21:59:21.598Z","0.9.0":"2018-10-30T13:40:02.885Z","0.9.1":"2018-11-02T13:55:04.825Z","0.9.2":"2018-11-08T10:37:48.947Z","0.9.3":"2018-11-15T14:40:18.047Z","0.9.4":"2018-11-23T12:22:51.718Z","0.9.5":"2018-11-28T16:09:27.608Z","0.9.6":"2018-11-29T15:05:12.413Z","0.9.7":"2019-01-07T12:17:56.067Z","0.9.8":"2019-01-07T13:24:07.977Z","0.9.9":"2019-01-08T10:16:37.805Z","0.9.10":"2019-01-17T14:48:05.073Z","1.0.0":"2019-02-01T13:40:30.353Z","1.0.1":"2019-02-06T09:52:04.425Z","1.1.0":"2019-03-20T16:35:05.500Z","1.1.1":"2019-03-29T15:50:36.269Z","1.2.0":"2019-06-02T17:20:20.854Z","1.2.1":"2019-06-11T11:22:26.018Z","1.3.0":"2019-11-20T16:46:25.407Z","1.3.1":"2020-04-20T15:01:16.740Z","1.3.2":"2020-04-20T15:17:31.547Z","1.3.3":"2020-04-22T07:58:59.179Z","1.4.0":"2021-01-26T16:17:18.916Z","1.4.1":"2021-01-27T15:06:52.232Z","1.4.2":"2021-01-27T15:48:05.177Z","1.4.3":"2021-01-28T15:36:56.470Z","1.4.4":"2021-05-10T13:03:22.810Z","1.4.5":"2021-06-09T12:00:07.606Z","1.5.0":"2024-01-29T13:35:25.581Z","1.5.1":"2024-01-29T21:59:21.388Z"},"maintainers":[{"name":"sbiewer","email":"npm@sbiewer.de"},{"name":"fefrei","email":"felix@fefrei.de"},{"name":"lenabecker","email":"s8llbeck@stud.uni-saarland.de"}],"description":"A library to express colored petri nets and analyze their behavior.","repository":{"type":"git","url":"https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git"},"author":{"name":"Felix Freiberger","email":"felix@fefrei.de"},"license":"GPL-3.0-or-later","readme":"# colored-petri-nets\n\nThis is a library to describe colored Petri nets and CPN++, an enhanced version of colored Petri nets for modeling programs.\n\n© Felix Freiberger, 2018-2019, Saarland University\n\n\n## A Word of Caution\n\nThis library is quite experimental. For now, there is no proper documentation, and the API shouldn't be considered stable.\n\n\n## Petri Net Semantics\n\nIn this library, the colors of tokens in the nets are simple JavaScript values, consisting of booleans, integers, arrays and objects. For example, these are valid colors:\n\n- `true`\n- `42`\n- `\"Hello World!`\n- `[42, []]`\n- `{ object: {}, array: [] }`\n\nTransitions work by having patterns on incoming flows and expressions on outgoing flows. A transition is enabled if\n\n- all incoming flows can find a token that _matches_ the pattern,\n- the incoming flows produce bindings that are _compatible_ and\n- the resulting binding fulfills the guard.\n\nIf a transition is executed, the outgoing flows produce tokens corresponding to their expressions, which may reference the binding.\n\nAs an example, a transition with two inflows with the patterns `[ x ]` and `x`, the guard `x > 10` and an outflow with the expression `(x + 1) * 2` behaves like this:\n\n- If the inflows try to read `5` and `5`, respectively, the transition is not enabled, because the first pattern expects an array.\n- If the inflows try to read `[ 4 ]` and `5`, respectively, the transition is not enabled, because the bindings are not compatible.\n- If the inflows try to read `[ 5 ]` and `5`, respectively, the transition is not enabled, because the binding does not satisfy the guard.\nIf the inflows try to read `[ 20 ]` and `20`, respectively, the transition is enabled, and the outflow produces a token colored `42`.\n\nThe syntax for patterns and expressions is inspired by JavaScript. Here are examples of valid patterns:\n\n- `x`\n- `_` (a wildcard, drops the value)\n- `[]`\n- `[a, b, c]`\n- `[a, b, [c, d]]`\n- `[a, , c]` (equivalent to `[a, _, c]`)\n- `[a, b, _]`\n- `{}`\n- `{ a: a, b: c }`\n- `{ a, b }`\n- `{ a }`\n- `[a, { b : c, d: [e, f] }]`\n- `{ one, two, ...rest }` (`rest` will be an object with all properties except `one` and `two`)\n- `{ ...obj }` (equivalent to `obj` except it rejects non-objects)\n- `[ one, two, ...rest ]` (`rest` will be an array with the all remaining items)\n- `[ ...arr ]` (equivalent to `arr` except it rejects non-arrays)\n\nHere are examples of valid expressions:\n\n- `var`\n- `1337`\n- `true`\n- `\"hello world\"`\n- `\"hello \\\"world\"`\n- `\"back\\\\slash\"`\n- `1 + 28`\n- `1 - 28`\n- `\"hello\" + \" \" + \"world\"`\n- `3 * 9`\n- `a * ( b + c)`\n- `1 > 2`\n- `2 >= 2`\n- `2 <= 1`\n- `2 < 1`\n- `2 == 1`\n- `2 != 1`\n- `a || b`\n- `a && b`\n- `!a`\n- `[]`\n- `[ 42, 1337-1336 ]`\n- `[1, 1, 0].length`\n- `[9, 8] @ [7] @ [6, 5]` (array concatenation)\n- `{}`\n- `{a:7,  b : x, c }`\n- `{ a, ...b, c }`\n- `{ a: 1, ...x, b: 2, ...y, a: 2 }`\n- `{ x, y }.y.z`\n- `true ? 42 : 1337`\n- `eval(a + b, vars)` (evaluates `a + b` in the binding expressed by the object `vars`)\n\n\n## An Example\n\nThe following Petri net computes the first 10 numbers of the Fibonacci sequence and puts a token with an array of them in the place `done`:\n\n```\n{\n    \"places\": [\n        {\n            \"key\": \"calc\",\n            \"displayName\": \"calculate Fibonacci sequence\",\n            \"extensions\": {}\n        },\n        {\n            \"key\": \"done\",\n            \"displayName\": \"calculation finished\",\n            \"extensions\": {}\n        }\n    ],\n    \"transitions\": [\n        {\n            \"key\": \"add-fib\",\n            \"displayName\": \"add one fibonacci number\",\n            \"guard\": \"list.length < 10\",\n            \"inFlows\": [\n                {\n                    \"source\": \"calc\",\n                    \"pattern\": \"{ a, b, list }\"\n                }\n            ],\n            \"outFlows\": [\n                {\n                    \"target\": \"calc\",\n                    \"expression\": \"{ a: b, b: a + b, list: list @ [a] }\"\n                }\n            ],\n            \"extensions\": {}\n        },\n        {\n            \"key\": \"exit\",\n            \"displayName\": \"exit the main loop\",\n            \"guard\": \"list.length == 10\",\n            \"inFlows\": [\n                {\n                    \"source\": \"calc\",\n                    \"pattern\": \"{ list }\"\n                }\n            ],\n            \"outFlows\": [\n                {\n                    \"target\": \"done\",\n                    \"expression\": \"list\"\n                }\n            ],\n            \"extensions\": {}\n        }\n    ],\n    \"initialMarking\": {\n        \"tokens\": {\n            \"calc\": [\n                {\n                    \"color\": {\n                        \"a\": 0,\n                        \"b\": 1,\n                        \"list\": []\n                    }\n                }\n            ]\n        },\n        \"extensions\": {}\n    }\n}\n```\n\nMore specifially, the above is the JSON object representation of the net. The following code parses this to a JavaScript object, converts it to a real `PetriNet` instance, then uses the API to query the behavior of the net:\n\n```\nconst { PetriNet } = require('@pseuco/colored-petri-nets');\n\nconst fs = require('fs');\n\nconst netString = fs.readFileSync('net.json');\nconst netObject = JSON.parse(netString);\n\n// build an actual PetriNet object from the plain object representation.\nconst net = PetriNet.fromObject(netObject);\n\nlet marking = net.initialMarking;\n\nwhile (true) {\n    console.log(JSON.stringify(marking.toObject()));\n\n    let successors = marking.enabledMoves();\n    if (successors.length > 1) throw new Error(\"Found nondeterminism!\");\n    if (successors.length < 1) {\n        console.log(\"Terminated.\");\n        return;\n    }\n\n    console.log(` ↓ ${successors[0].transition.displayName}`);\n\n    marking = successors[0].marking;\n}\n```\n","readmeFilename":"README.md"}