{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:X56PJ2CKXYAMSF6ANA6MQEXZFV","short_pith_number":"pith:X56PJ2CK","canonical_record":{"source":{"id":"1506.06299","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-06-20T21:59:09Z","cross_cats_sorted":[],"title_canon_sha256":"2578b9ab57ad1d581ade84296bfe0c4fbcbc4bc886a38906af49f89487be6801","abstract_canon_sha256":"01329763a6c0aba1f51a7efd8a3db8635787e7840d167acee4158e5936dd897b"},"schema_version":"1.0"},"canonical_sha256":"bf7cf4e84abe00c917c0683cc812f92d44d916a6f67439e0b90c45e03b32b64b","source":{"kind":"arxiv","id":"1506.06299","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.06299","created_at":"2026-05-18T01:41:45Z"},{"alias_kind":"arxiv_version","alias_value":"1506.06299v1","created_at":"2026-05-18T01:41:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.06299","created_at":"2026-05-18T01:41:45Z"},{"alias_kind":"pith_short_12","alias_value":"X56PJ2CKXYAM","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_16","alias_value":"X56PJ2CKXYAMSF6A","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_8","alias_value":"X56PJ2CK","created_at":"2026-05-18T12:29:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:X56PJ2CKXYAMSF6ANA6MQEXZFV","target":"record","payload":{"canonical_record":{"source":{"id":"1506.06299","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-06-20T21:59:09Z","cross_cats_sorted":[],"title_canon_sha256":"2578b9ab57ad1d581ade84296bfe0c4fbcbc4bc886a38906af49f89487be6801","abstract_canon_sha256":"01329763a6c0aba1f51a7efd8a3db8635787e7840d167acee4158e5936dd897b"},"schema_version":"1.0"},"canonical_sha256":"bf7cf4e84abe00c917c0683cc812f92d44d916a6f67439e0b90c45e03b32b64b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:41:45.571493Z","signature_b64":"p4B+09Y71vLLJeb9pSyMmdvpGROeTIreMx2d37+mlbWzf+DaNkqNkB3zApdOIlsf9kg3/AeWEY5nZJbKdTnFBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bf7cf4e84abe00c917c0683cc812f92d44d916a6f67439e0b90c45e03b32b64b","last_reissued_at":"2026-05-18T01:41:45.571091Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:41:45.571091Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.06299","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:41:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SLimAoyxW2QoPCeh19iLVh06E3UPoXIvjvV7hLRWUePk4OlvvpFt5HearL3Iq2+SW33Zo5kxiYEM/MhPgqcFBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T00:56:53.986791Z"},"content_sha256":"dad4c4021cfe52aa39cc699eb399a899eb86572fc03fc8946201c811bda2ac34","schema_version":"1.0","event_id":"sha256:dad4c4021cfe52aa39cc699eb399a899eb86572fc03fc8946201c811bda2ac34"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:X56PJ2CKXYAMSF6ANA6MQEXZFV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alexander Andreychenko, Katsumi Inoue, Morgan Magnin","submitted_at":"2015-06-20T21:59:09Z","abstract_excerpt":"Automated verification of living organism models allows us to gain previously unknown knowledge about underlying biological processes. In this paper, we show the benefits to use parametric time Petri nets in order to analyze precisely the dynamic behavior of biological oscillatory systems. In particular, we focus on the resilience properties of such systems. This notion is crucial to understand the behavior of biological systems (e.g. the mammalian circadian rhythm) that are reactive and adaptive enough to endorse major changes in their environment (e.g. jet-lags, day-night alternating work-ti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.06299","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:41:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+NC9TYL6FuT68IhsWMH4L3+NR/LVPZi0TYu2qj7FD7C1zR50lIMBU3CVX0wXTVb2+EBlE0PzjRfHlJFtD2H6AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T00:56:53.987589Z"},"content_sha256":"afef67b3ce6b4375ec1e566f08091192fe2608288dbb448802f88be4d6008d56","schema_version":"1.0","event_id":"sha256:afef67b3ce6b4375ec1e566f08091192fe2608288dbb448802f88be4d6008d56"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/X56PJ2CKXYAMSF6ANA6MQEXZFV/bundle.json","state_url":"https://pith.science/pith/X56PJ2CKXYAMSF6ANA6MQEXZFV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/X56PJ2CKXYAMSF6ANA6MQEXZFV/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-06-12T00:56:53Z","links":{"resolver":"https://pith.science/pith/X56PJ2CKXYAMSF6ANA6MQEXZFV","bundle":"https://pith.science/pith/X56PJ2CKXYAMSF6ANA6MQEXZFV/bundle.json","state":"https://pith.science/pith/X56PJ2CKXYAMSF6ANA6MQEXZFV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/X56PJ2CKXYAMSF6ANA6MQEXZFV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:X56PJ2CKXYAMSF6ANA6MQEXZFV","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":"01329763a6c0aba1f51a7efd8a3db8635787e7840d167acee4158e5936dd897b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-06-20T21:59:09Z","title_canon_sha256":"2578b9ab57ad1d581ade84296bfe0c4fbcbc4bc886a38906af49f89487be6801"},"schema_version":"1.0","source":{"id":"1506.06299","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.06299","created_at":"2026-05-18T01:41:45Z"},{"alias_kind":"arxiv_version","alias_value":"1506.06299v1","created_at":"2026-05-18T01:41:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.06299","created_at":"2026-05-18T01:41:45Z"},{"alias_kind":"pith_short_12","alias_value":"X56PJ2CKXYAM","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_16","alias_value":"X56PJ2CKXYAMSF6A","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_8","alias_value":"X56PJ2CK","created_at":"2026-05-18T12:29:47Z"}],"graph_snapshots":[{"event_id":"sha256:afef67b3ce6b4375ec1e566f08091192fe2608288dbb448802f88be4d6008d56","target":"graph","created_at":"2026-05-18T01:41:45Z","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":"Automated verification of living organism models allows us to gain previously unknown knowledge about underlying biological processes. In this paper, we show the benefits to use parametric time Petri nets in order to analyze precisely the dynamic behavior of biological oscillatory systems. In particular, we focus on the resilience properties of such systems. This notion is crucial to understand the behavior of biological systems (e.g. the mammalian circadian rhythm) that are reactive and adaptive enough to endorse major changes in their environment (e.g. jet-lags, day-night alternating work-ti","authors_text":"Alexander Andreychenko, Katsumi Inoue, Morgan Magnin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-06-20T21:59:09Z","title":"Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.06299","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:dad4c4021cfe52aa39cc699eb399a899eb86572fc03fc8946201c811bda2ac34","target":"record","created_at":"2026-05-18T01:41:45Z","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":"01329763a6c0aba1f51a7efd8a3db8635787e7840d167acee4158e5936dd897b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-06-20T21:59:09Z","title_canon_sha256":"2578b9ab57ad1d581ade84296bfe0c4fbcbc4bc886a38906af49f89487be6801"},"schema_version":"1.0","source":{"id":"1506.06299","kind":"arxiv","version":1}},"canonical_sha256":"bf7cf4e84abe00c917c0683cc812f92d44d916a6f67439e0b90c45e03b32b64b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bf7cf4e84abe00c917c0683cc812f92d44d916a6f67439e0b90c45e03b32b64b","first_computed_at":"2026-05-18T01:41:45.571091Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:41:45.571091Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"p4B+09Y71vLLJeb9pSyMmdvpGROeTIreMx2d37+mlbWzf+DaNkqNkB3zApdOIlsf9kg3/AeWEY5nZJbKdTnFBw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:41:45.571493Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.06299","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dad4c4021cfe52aa39cc699eb399a899eb86572fc03fc8946201c811bda2ac34","sha256:afef67b3ce6b4375ec1e566f08091192fe2608288dbb448802f88be4d6008d56"],"state_sha256":"acc1552a0f45e2d4fd5bc7dad51c362666ff7081b56e383da64366b01792b7c9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TIHMTZCjFzTf/5ypQV4xAbBTJdB0umWQBSBVhurMNda/6miGtKYXNI9tqeNBZYz/MHrWirMUQxGY5O6P09/jDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T00:56:53.992460Z","bundle_sha256":"e703d13aacd84b81b2174c66164d00b3ea17a36267269708e1f6dfbbe5978de6"}}