{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:V5M2INMJCQLPYRGX566YQYLGWI","short_pith_number":"pith:V5M2INMJ","canonical_record":{"source":{"id":"1504.05513","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-04-21T17:14:37Z","cross_cats_sorted":["cs.LO","cs.SC"],"title_canon_sha256":"cc3bf6c1ea9b6db32d373a5ad2b48fd77bad4e57da014ae38a25d035cb0d2d74","abstract_canon_sha256":"e1c363e3b6f36487142c52d9b2aaccb641bae24961b4f89b52a62b848c8d999c"},"schema_version":"1.0"},"canonical_sha256":"af59a435891416fc44d7efbd886166b23a8ff1c4058994192dac07bd40126bf0","source":{"kind":"arxiv","id":"1504.05513","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.05513","created_at":"2026-05-18T01:14:26Z"},{"alias_kind":"arxiv_version","alias_value":"1504.05513v3","created_at":"2026-05-18T01:14:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.05513","created_at":"2026-05-18T01:14:26Z"},{"alias_kind":"pith_short_12","alias_value":"V5M2INMJCQLP","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_16","alias_value":"V5M2INMJCQLPYRGX","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_8","alias_value":"V5M2INMJ","created_at":"2026-05-18T12:29:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:V5M2INMJCQLPYRGX566YQYLGWI","target":"record","payload":{"canonical_record":{"source":{"id":"1504.05513","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-04-21T17:14:37Z","cross_cats_sorted":["cs.LO","cs.SC"],"title_canon_sha256":"cc3bf6c1ea9b6db32d373a5ad2b48fd77bad4e57da014ae38a25d035cb0d2d74","abstract_canon_sha256":"e1c363e3b6f36487142c52d9b2aaccb641bae24961b4f89b52a62b848c8d999c"},"schema_version":"1.0"},"canonical_sha256":"af59a435891416fc44d7efbd886166b23a8ff1c4058994192dac07bd40126bf0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:14:26.056716Z","signature_b64":"VIqX8Zojnkzy9m+gA+rnyqjHxkUwNe2APZ9tIOhwRdxH2Iu+1/gWdKC8BoLBGWq5Tpiai3OwAP8vsHQnHZ8zBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"af59a435891416fc44d7efbd886166b23a8ff1c4058994192dac07bd40126bf0","last_reissued_at":"2026-05-18T01:14:26.055942Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:14:26.055942Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1504.05513","source_version":3,"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:14:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PJtLCyKOTUrqBzXCpy5DLiCNfViZEQj/Sfh1sMc5q3/nCJMeeb9+NWK1BsZ81pLhoKzX8zkSw4+RMdcO2QB3Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T12:56:34.581988Z"},"content_sha256":"0c3e8b5d98f76dff58322c7d9335162800630428920a1678ae59549ad682d769","schema_version":"1.0","event_id":"sha256:0c3e8b5d98f76dff58322c7d9335162800630428920a1678ae59549ad682d769"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:V5M2INMJCQLPYRGX566YQYLGWI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Timed Orchestration for Component-based Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.SC"],"primary_cat":"cs.FL","authors_text":"Chih-Hong Cheng, Harald Ruess, Lacramioara Astefanoaei, Saddek Bensalem, Souha Ben Rayana","submitted_at":"2015-04-21T17:14:37Z","abstract_excerpt":"Individual machines in flexible production lines explicitly expose capabilities at their interfaces by means of parametric skills. Given such a set of configurable machines, a line integrator is faced with the problem of finding and tuning parameters for each machine such that the overall production line implements given safety and temporal requirements in an optimized and robust fashion. We formalize this problem of configuring and orchestrating flexible production lines as a parameter synthesis problem for systems of parametric timed automata, where interactions are based on skills. Paramete"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.05513","kind":"arxiv","version":3},"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:14:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PSfhST/M/N9gHmIHIv8QMkC/qDHgtWlfLOekzTyvY+ZZv8Vfv5GC7faGZEhZwRwFneFJrokad2khrkFCfP7HCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T12:56:34.582354Z"},"content_sha256":"7dcea9207b222de0b856d924bb34ddd2b20b393c9fd22c90882d81478d18bb07","schema_version":"1.0","event_id":"sha256:7dcea9207b222de0b856d924bb34ddd2b20b393c9fd22c90882d81478d18bb07"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/V5M2INMJCQLPYRGX566YQYLGWI/bundle.json","state_url":"https://pith.science/pith/V5M2INMJCQLPYRGX566YQYLGWI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/V5M2INMJCQLPYRGX566YQYLGWI/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-21T12:56:34Z","links":{"resolver":"https://pith.science/pith/V5M2INMJCQLPYRGX566YQYLGWI","bundle":"https://pith.science/pith/V5M2INMJCQLPYRGX566YQYLGWI/bundle.json","state":"https://pith.science/pith/V5M2INMJCQLPYRGX566YQYLGWI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/V5M2INMJCQLPYRGX566YQYLGWI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:V5M2INMJCQLPYRGX566YQYLGWI","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":"e1c363e3b6f36487142c52d9b2aaccb641bae24961b4f89b52a62b848c8d999c","cross_cats_sorted":["cs.LO","cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-04-21T17:14:37Z","title_canon_sha256":"cc3bf6c1ea9b6db32d373a5ad2b48fd77bad4e57da014ae38a25d035cb0d2d74"},"schema_version":"1.0","source":{"id":"1504.05513","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.05513","created_at":"2026-05-18T01:14:26Z"},{"alias_kind":"arxiv_version","alias_value":"1504.05513v3","created_at":"2026-05-18T01:14:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.05513","created_at":"2026-05-18T01:14:26Z"},{"alias_kind":"pith_short_12","alias_value":"V5M2INMJCQLP","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_16","alias_value":"V5M2INMJCQLPYRGX","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_8","alias_value":"V5M2INMJ","created_at":"2026-05-18T12:29:44Z"}],"graph_snapshots":[{"event_id":"sha256:7dcea9207b222de0b856d924bb34ddd2b20b393c9fd22c90882d81478d18bb07","target":"graph","created_at":"2026-05-18T01:14:26Z","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":"Individual machines in flexible production lines explicitly expose capabilities at their interfaces by means of parametric skills. Given such a set of configurable machines, a line integrator is faced with the problem of finding and tuning parameters for each machine such that the overall production line implements given safety and temporal requirements in an optimized and robust fashion. We formalize this problem of configuring and orchestrating flexible production lines as a parameter synthesis problem for systems of parametric timed automata, where interactions are based on skills. Paramete","authors_text":"Chih-Hong Cheng, Harald Ruess, Lacramioara Astefanoaei, Saddek Bensalem, Souha Ben Rayana","cross_cats":["cs.LO","cs.SC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-04-21T17:14:37Z","title":"Timed Orchestration for Component-based Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.05513","kind":"arxiv","version":3},"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:0c3e8b5d98f76dff58322c7d9335162800630428920a1678ae59549ad682d769","target":"record","created_at":"2026-05-18T01:14:26Z","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":"e1c363e3b6f36487142c52d9b2aaccb641bae24961b4f89b52a62b848c8d999c","cross_cats_sorted":["cs.LO","cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-04-21T17:14:37Z","title_canon_sha256":"cc3bf6c1ea9b6db32d373a5ad2b48fd77bad4e57da014ae38a25d035cb0d2d74"},"schema_version":"1.0","source":{"id":"1504.05513","kind":"arxiv","version":3}},"canonical_sha256":"af59a435891416fc44d7efbd886166b23a8ff1c4058994192dac07bd40126bf0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"af59a435891416fc44d7efbd886166b23a8ff1c4058994192dac07bd40126bf0","first_computed_at":"2026-05-18T01:14:26.055942Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:14:26.055942Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VIqX8Zojnkzy9m+gA+rnyqjHxkUwNe2APZ9tIOhwRdxH2Iu+1/gWdKC8BoLBGWq5Tpiai3OwAP8vsHQnHZ8zBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:14:26.056716Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.05513","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0c3e8b5d98f76dff58322c7d9335162800630428920a1678ae59549ad682d769","sha256:7dcea9207b222de0b856d924bb34ddd2b20b393c9fd22c90882d81478d18bb07"],"state_sha256":"0e0a22f573cfe3fb1bcca3546f3430fa97537711591bbf4c4b0b466d0728618b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IxWKoK5V37xE1/n8V+KtvRBviTcfQPKLLuTelIyccelqUhhAIuF5HXLBKYUdcmIXHr0MTU6vmrk2JTOppx+aCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-21T12:56:34.584365Z","bundle_sha256":"e98635c8990db3a699bb5a17f0c6ac2ab30a90f0eaef69b49960e499b52624ba"}}