{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:NCRVF5OHVRSW6C5SCAMCQN43O4","short_pith_number":"pith:NCRVF5OH","canonical_record":{"source":{"id":"1508.06162","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-08-25T14:18:02Z","cross_cats_sorted":[],"title_canon_sha256":"2b0fa64f30aa8f66595a3fc67c17a65ffb0e94df6b3d2322f1f469ad065a9a27","abstract_canon_sha256":"8975d1aa26a9f6e554fc06982e468a81399e4030d8baa476789023ad2d8cdba2"},"schema_version":"1.0"},"canonical_sha256":"68a352f5c7ac656f0bb2101828379b77167db05817a3bfdae892173c36459a21","source":{"kind":"arxiv","id":"1508.06162","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.06162","created_at":"2026-05-18T01:34:46Z"},{"alias_kind":"arxiv_version","alias_value":"1508.06162v1","created_at":"2026-05-18T01:34:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.06162","created_at":"2026-05-18T01:34:46Z"},{"alias_kind":"pith_short_12","alias_value":"NCRVF5OHVRSW","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"NCRVF5OHVRSW6C5S","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"NCRVF5OH","created_at":"2026-05-18T12:29:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:NCRVF5OHVRSW6C5SCAMCQN43O4","target":"record","payload":{"canonical_record":{"source":{"id":"1508.06162","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-08-25T14:18:02Z","cross_cats_sorted":[],"title_canon_sha256":"2b0fa64f30aa8f66595a3fc67c17a65ffb0e94df6b3d2322f1f469ad065a9a27","abstract_canon_sha256":"8975d1aa26a9f6e554fc06982e468a81399e4030d8baa476789023ad2d8cdba2"},"schema_version":"1.0"},"canonical_sha256":"68a352f5c7ac656f0bb2101828379b77167db05817a3bfdae892173c36459a21","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:34:46.640396Z","signature_b64":"d0JM+UiUhJcK/rKeMCvqNuYGMJ1u99LEq1Gn3ai0FrOOIRxjZSDmFW6nnVyIqSatevLiiOvqA79LDYgyzFsJCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"68a352f5c7ac656f0bb2101828379b77167db05817a3bfdae892173c36459a21","last_reissued_at":"2026-05-18T01:34:46.639778Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:34:46.639778Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1508.06162","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:34:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pBXfDkOFJZyMlcjk0+kktPL0RebJPfv1E0TpRnPTX9FaWQUGiq+xq5fbSpd7CKtuQEgw3xfVO/waEufZwK0tCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T21:03:37.842042Z"},"content_sha256":"34ba15e2513a9bf10fdf55acac53bef9f5f1f809b9e663138e8fd2c105662381","schema_version":"1.0","event_id":"sha256:34ba15e2513a9bf10fdf55acac53bef9f5f1f809b9e663138e8fd2c105662381"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:NCRVF5OHVRSW6C5SCAMCQN43O4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Performance evaluation of an emergency call center: tropical polynomial systems applied to timed Petri nets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"St\\'ephane Gaubert, Vianney B{\\oe}uf, Xavier Allamigeon","submitted_at":"2015-08-25T14:18:02Z","abstract_excerpt":"We analyze a timed Petri net model of an emergency call center which processes calls with different levels of priority. The counter variables of the Petri net represent the cumulated number of events as a function of time. We show that these variables are determined by a piecewise linear dynamical system. We also prove that computing the stationary regimes of the associated fluid dynamics reduces to solving a polynomial system over a tropical (min-plus) semifield of germs. This leads to explicit formul{\\ae} expressing the throughput of the fluid system as a piecewise linear function of the res"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.06162","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:34:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hPt7i2wMy8Ucswg63Aha8LqV/nRKaaMEl0BgLuG9t4kbqdBPsozb16wGdHmO4i4eH9MpGAtjZ+XYNAMS8HSDDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T21:03:37.842743Z"},"content_sha256":"3ad0a3ff4e136de1ba25b5e0e0b2350ceae2a28ea83d3d0e69a5851f94a405a4","schema_version":"1.0","event_id":"sha256:3ad0a3ff4e136de1ba25b5e0e0b2350ceae2a28ea83d3d0e69a5851f94a405a4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NCRVF5OHVRSW6C5SCAMCQN43O4/bundle.json","state_url":"https://pith.science/pith/NCRVF5OHVRSW6C5SCAMCQN43O4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NCRVF5OHVRSW6C5SCAMCQN43O4/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-25T21:03:37Z","links":{"resolver":"https://pith.science/pith/NCRVF5OHVRSW6C5SCAMCQN43O4","bundle":"https://pith.science/pith/NCRVF5OHVRSW6C5SCAMCQN43O4/bundle.json","state":"https://pith.science/pith/NCRVF5OHVRSW6C5SCAMCQN43O4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NCRVF5OHVRSW6C5SCAMCQN43O4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:NCRVF5OHVRSW6C5SCAMCQN43O4","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"8975d1aa26a9f6e554fc06982e468a81399e4030d8baa476789023ad2d8cdba2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-08-25T14:18:02Z","title_canon_sha256":"2b0fa64f30aa8f66595a3fc67c17a65ffb0e94df6b3d2322f1f469ad065a9a27"},"schema_version":"1.0","source":{"id":"1508.06162","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.06162","created_at":"2026-05-18T01:34:46Z"},{"alias_kind":"arxiv_version","alias_value":"1508.06162v1","created_at":"2026-05-18T01:34:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.06162","created_at":"2026-05-18T01:34:46Z"},{"alias_kind":"pith_short_12","alias_value":"NCRVF5OHVRSW","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"NCRVF5OHVRSW6C5S","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"NCRVF5OH","created_at":"2026-05-18T12:29:32Z"}],"graph_snapshots":[{"event_id":"sha256:3ad0a3ff4e136de1ba25b5e0e0b2350ceae2a28ea83d3d0e69a5851f94a405a4","target":"graph","created_at":"2026-05-18T01:34:46Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We analyze a timed Petri net model of an emergency call center which processes calls with different levels of priority. The counter variables of the Petri net represent the cumulated number of events as a function of time. We show that these variables are determined by a piecewise linear dynamical system. We also prove that computing the stationary regimes of the associated fluid dynamics reduces to solving a polynomial system over a tropical (min-plus) semifield of germs. This leads to explicit formul{\\ae} expressing the throughput of the fluid system as a piecewise linear function of the res","authors_text":"St\\'ephane Gaubert, Vianney B{\\oe}uf, Xavier Allamigeon","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-08-25T14:18:02Z","title":"Performance evaluation of an emergency call center: tropical polynomial systems applied to timed Petri nets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.06162","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:34ba15e2513a9bf10fdf55acac53bef9f5f1f809b9e663138e8fd2c105662381","target":"record","created_at":"2026-05-18T01:34:46Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"8975d1aa26a9f6e554fc06982e468a81399e4030d8baa476789023ad2d8cdba2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-08-25T14:18:02Z","title_canon_sha256":"2b0fa64f30aa8f66595a3fc67c17a65ffb0e94df6b3d2322f1f469ad065a9a27"},"schema_version":"1.0","source":{"id":"1508.06162","kind":"arxiv","version":1}},"canonical_sha256":"68a352f5c7ac656f0bb2101828379b77167db05817a3bfdae892173c36459a21","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"68a352f5c7ac656f0bb2101828379b77167db05817a3bfdae892173c36459a21","first_computed_at":"2026-05-18T01:34:46.639778Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:34:46.639778Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"d0JM+UiUhJcK/rKeMCvqNuYGMJ1u99LEq1Gn3ai0FrOOIRxjZSDmFW6nnVyIqSatevLiiOvqA79LDYgyzFsJCw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:34:46.640396Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.06162","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:34ba15e2513a9bf10fdf55acac53bef9f5f1f809b9e663138e8fd2c105662381","sha256:3ad0a3ff4e136de1ba25b5e0e0b2350ceae2a28ea83d3d0e69a5851f94a405a4"],"state_sha256":"b0e9368ce558a86b98cf7fd051a84fe20c3575a1d057c04622c6c9095e4a8d24"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I8OOYqiZVn7QEmtWobjQVWYcUvn9oOsUMNukYxLTrEBBm5lqwJJAk9FtyJ9CVK2OYPcGEy+1bbzW+R64blweDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T21:03:37.846718Z","bundle_sha256":"2bef6fc7f446e70030f805521fe195df82523aca7265b57197c45dd83d487053"}}