{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:X56PJ2CKXYAMSF6ANA6MQEXZFV","short_pith_number":"pith:X56PJ2CK","schema_version":"1.0","canonical_sha256":"bf7cf4e84abe00c917c0683cc812f92d44d916a6f67439e0b90c45e03b32b64b","source":{"kind":"arxiv","id":"1506.06299","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1506.06299","created_at":"2026-05-18T01:41:45.571153+00:00"},{"alias_kind":"arxiv_version","alias_value":"1506.06299v1","created_at":"2026-05-18T01:41:45.571153+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.06299","created_at":"2026-05-18T01:41:45.571153+00:00"},{"alias_kind":"pith_short_12","alias_value":"X56PJ2CKXYAM","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_16","alias_value":"X56PJ2CKXYAMSF6A","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_8","alias_value":"X56PJ2CK","created_at":"2026-05-18T12:29:47.479230+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/X56PJ2CKXYAMSF6ANA6MQEXZFV","json":"https://pith.science/pith/X56PJ2CKXYAMSF6ANA6MQEXZFV.json","graph_json":"https://pith.science/api/pith-number/X56PJ2CKXYAMSF6ANA6MQEXZFV/graph.json","events_json":"https://pith.science/api/pith-number/X56PJ2CKXYAMSF6ANA6MQEXZFV/events.json","paper":"https://pith.science/paper/X56PJ2CK"},"agent_actions":{"view_html":"https://pith.science/pith/X56PJ2CKXYAMSF6ANA6MQEXZFV","download_json":"https://pith.science/pith/X56PJ2CKXYAMSF6ANA6MQEXZFV.json","view_paper":"https://pith.science/paper/X56PJ2CK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1506.06299&json=true","fetch_graph":"https://pith.science/api/pith-number/X56PJ2CKXYAMSF6ANA6MQEXZFV/graph.json","fetch_events":"https://pith.science/api/pith-number/X56PJ2CKXYAMSF6ANA6MQEXZFV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/X56PJ2CKXYAMSF6ANA6MQEXZFV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/X56PJ2CKXYAMSF6ANA6MQEXZFV/action/storage_attestation","attest_author":"https://pith.science/pith/X56PJ2CKXYAMSF6ANA6MQEXZFV/action/author_attestation","sign_citation":"https://pith.science/pith/X56PJ2CKXYAMSF6ANA6MQEXZFV/action/citation_signature","submit_replication":"https://pith.science/pith/X56PJ2CKXYAMSF6ANA6MQEXZFV/action/replication_record"}},"created_at":"2026-05-18T01:41:45.571153+00:00","updated_at":"2026-05-18T01:41:45.571153+00:00"}