petri_net_2020-1.0.0

https://rubygems.org

petri_net_2020

quick gemspec

.gem

.gem metadata (gemspec)

.gemspec

id: 1303264

number: 1.0.0

platform: ruby

spec_sha256: fbd6ed3bf08ba52699ed1d2927f2513690e3489a1a9cc00a93498d277b0f6275

sha256: 913c2e5796501527340b4282b5ae17db819b7f69c955a19d88324e517a83600d

created_at: 2024-05-13 08:33:40 UTC

updated_at: 2024-06-13 17:34:23 UTC

position: 0

version_data_entries_count: 40

uploaded_at: 2020-02-10 03:08:54 UTC

indexed: true

has_extensions:

extensions:

Gem size: 22.5 KB

Version Data Entries

Total: 40

Unpacked size: 83.6 KB

Full NameModeUIDGIDMtimeLinknameSizeSHA
.gitignore1006440023 Bytes05852f6f287277c22f34680bd71112e0d3af720ea7f52e59550a44e5c10e1fff
.ruby-version100644004 Bytes8b6f2a818985188f55a3e4e26e239c69a21b70e1306b5231e65694ea4a547128
.travis.yml10064400177 Bytes6ac9ed526c56830751be703f6989a26efc40345480580991d375eadb317518c9
CHANGELOG10064400277 Bytes04600863e99271b4c75c3d4b2acd2d62defaca6146c407ae233b0784978f780a
Gemfile10064400206 Bytes7a8bfc5526835bd36952d1f80d49d61f1d9e591b595785c328bccb172cbbffd1
LICENSE100644001.12 KBb4c37e8e70c28217848aab11c348bb1a84d357ef2b59dc6bc9d0f9c2cc3491c3
README.rdoc100644004.7 KB2fc17748c36f393b2723c33a873559cfd5d95fc2c690566a5b2b379579e2eaf0
Rakefile10064400636 Bytese56ee75300e998b894ecf06c81f92498a08db7995c3b03b8ef6e9338062a921a
lib/petri_net.rb100644001.8 KBbbba412c2d7950f162438f666ea7a593cc5806c5cf95ebd883eeb5cebbe50573
lib/petri_net/arc.rb100644004.47 KB76b9c8f3e54f260ae534efc275f9287cb1960afba9266aac24e29eadb0c465e3
lib/petri_net/base.rb10064400687 Bytes7d6b73db06d20a2b6fc8887b408ce84cb6a380e255c9937a483c4bfe71fa4a50
lib/petri_net/coverability_graph.rb10064400245 Bytes2beedfd6383cab0509c1246ff3dea02a703b58697940590e252931ab9b40e730
lib/petri_net/coverability_graph/edge.rb10064400370 Bytes0909b12a4caba6aaa13fdeb12325408b101af3d61714263bce03d81671daefb5
lib/petri_net/coverability_graph/graph.rb100644001.26 KB6510315537efc27c3fa92d65dc95970d784c3bee9d3a4d06db54b18ece677cd3
lib/petri_net/coverability_graph/node.rb100644002.75 KB1332ca78de0cc6cf0d03542a62f1e1bfb43cf092d9b4bf21f6957e897db5721f
lib/petri_net/graph.rb10064400165 Bytesb2beffe0540e295407140fb02ee59c7ce9a9bdeae59badda06da644d34e35fef
lib/petri_net/graph/edge.rb100644001.58 KB1b2560a12cd52ad5588bb3ba1877a4c803cc6258225a63f89e266cc01aebf23f
lib/petri_net/graph/graph.rb100644008.26 KB91f1109c5085d5b3b9146f9c6393f824cf0937ab2b9a1ada43b5a39026038c97
lib/petri_net/graph/node.rb100644003.19 KBf49753c357d84f4739451865eb3da86d14952e7c14595d1dfbcc4ac1df68dbaa
lib/petri_net/marking.rb10064400574 Bytes5f35ad46cf0ab905b5060b7454f2bf82a4505f41efb384500849fd1cfc4865ea
lib/petri_net/net.rb1006440012.9 KB28f4f14097042a722c8a790d20c1282acc861733852df253e15e572196c79d39
lib/petri_net/place.rb100644002.83 KB31b4a10ee448ba49a78252998ee1211426fc034103adcb19dd2e79129894901b
lib/petri_net/reachability_graph.rb10064400245 Bytesf2d3ac4259104c1a9b5726c87d53f3ad1f5e00d1ea003ddb85a580802e68f303
lib/petri_net/reachability_graph/edge.rb10064400391 Bytes60caf1e1b7121fc1f3efb8f7b91c487907bb03c960548af8257339e3ffe08656
lib/petri_net/reachability_graph/graph.rb10064400471 Bytes21d87edc542ed456371cc6c6bb4c711a29b3f57d7529cb368a9e7c38be888c12
lib/petri_net/reachability_graph/node.rb10064400375 Bytes966faff4c897ac521e17327cfeed8f46a4d2a506c04a9def82b1d42948bd391c
lib/petri_net/transition.rb100644003.08 KB14f967464af23c58e9f225196124654a246fbda05ed202b65082930faeff1f63
lib/petri_net/version.rb10064400188 Bytes85192a74404a08446e25a52e940d4ec3e2e1904057520a129068ec7511e8af2b
petri_net.gemspec10064400899 Bytes1b4ad9eb3933f02a3d54a0c9f32e010b746666697d5d55d8e88a2e549061d707
test/create.rb100755001.6 KB607f83c2c85e17dbde7b10792ea662ff2bed6baf7c1b25be8a075d285196ab42
test/reachability_graph/tc_edge.rb100644000 Bytese3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855
test/reachability_graph/tc_graph.rb1006440010.1 KB3a0b8a608e0d3c84c97a5b1c8c8be3a6968b8a552767d7675d476963184794f9
test/reachability_graph/tc_node.rb100644002.26 KB9fd2f953270ac7d32b706bb752246a9ba1846312b90af381eb58a82d8532662a
test/tc_arc.rb100644000 Bytese3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855
test/tc_petri_net.rb1007550015.4 KB9061de46e025d3bcd3b4a0d58522113fff5d4491992b20e1b032d53333c2e78f
test/tc_place.rb100644000 Bytese3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855
test/tc_transition.rb10064400156 Bytes3266fb5d197137f82008832a6a9d85a134496649fd6ea88ee64516317f273fff
test/ts_all.rb10064400108 Bytes9b5b5c595de56512853552aab545fb9760206af0d46bfb98a7408bacd0efb676
test/ts_petri_net.rb10064400150 Bytes51f35509dc942814e7b3506a1f5c13856c331973d8edac6ed217122b10f6ad7f
test/ts_reachability_graph.rb10064400179 Bytes3fcbc191d4b23166bd66c9af235883c5bf4372b5f83dbd9c2f3a9260904bf1d5