{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:BL27SMGT47SJIG3SCHDM6ZLPBF","short_pith_number":"pith:BL27SMGT","schema_version":"1.0","canonical_sha256":"0af5f930d3e7e4941b7211c6cf656f095163862bdc2582aee9580ccfc3f14d4f","source":{"kind":"arxiv","id":"1208.2654","version":4},"attestation_state":"computed","paper":{"title":"On Generating *-Sound Nets with Substitution","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.LO"],"primary_cat":"cs.FL","authors_text":"Jacek Sroka, Jan Hidders","submitted_at":"2012-08-13T18:19:36Z","abstract_excerpt":"We present a method for hierarchically generating sound workflow nets by substitution of nets with multiple inputs and outputs. We show that this method is correct and generalizes the class of nets generated by other hierarchical approaches. The method involves a new notion of soundness which is preserved by the generalized type of substitution that is presented in this paper. We show that this notion is better suited than *-soundness for use with the presented type of generalized substitution, since {*}-soundness is not preserved by it. It is moreover shown that it is in some sense the optima"},"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":"1208.2654","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-08-13T18:19:36Z","cross_cats_sorted":["cs.DC","cs.LO"],"title_canon_sha256":"2a2ee04687e0cd0d6860b47167f5da2c6d2c6756511857bfcf29c43e4d0178e1","abstract_canon_sha256":"b6842c63e50b07b336cb1ddec65dd1b865bfe4ec2aa62db2407a1ac32997f9fb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:11:47.119646Z","signature_b64":"H3by1sO9t6/5MeOcDshwreeA/JAVNGMaS/WmcbCV9h0uoXSagSt70D8IXy7EQZQ6xxOULdl6uO6MKIjAZHmoCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0af5f930d3e7e4941b7211c6cf656f095163862bdc2582aee9580ccfc3f14d4f","last_reissued_at":"2026-05-18T03:11:47.118870Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:11:47.118870Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Generating *-Sound Nets with Substitution","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.LO"],"primary_cat":"cs.FL","authors_text":"Jacek Sroka, Jan Hidders","submitted_at":"2012-08-13T18:19:36Z","abstract_excerpt":"We present a method for hierarchically generating sound workflow nets by substitution of nets with multiple inputs and outputs. We show that this method is correct and generalizes the class of nets generated by other hierarchical approaches. The method involves a new notion of soundness which is preserved by the generalized type of substitution that is presented in this paper. We show that this notion is better suited than *-soundness for use with the presented type of generalized substitution, since {*}-soundness is not preserved by it. It is moreover shown that it is in some sense the optima"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1208.2654","kind":"arxiv","version":4},"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":"1208.2654","created_at":"2026-05-18T03:11:47.118999+00:00"},{"alias_kind":"arxiv_version","alias_value":"1208.2654v4","created_at":"2026-05-18T03:11:47.118999+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1208.2654","created_at":"2026-05-18T03:11:47.118999+00:00"},{"alias_kind":"pith_short_12","alias_value":"BL27SMGT47SJ","created_at":"2026-05-18T12:27:01.376967+00:00"},{"alias_kind":"pith_short_16","alias_value":"BL27SMGT47SJIG3S","created_at":"2026-05-18T12:27:01.376967+00:00"},{"alias_kind":"pith_short_8","alias_value":"BL27SMGT","created_at":"2026-05-18T12:27:01.376967+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/BL27SMGT47SJIG3SCHDM6ZLPBF","json":"https://pith.science/pith/BL27SMGT47SJIG3SCHDM6ZLPBF.json","graph_json":"https://pith.science/api/pith-number/BL27SMGT47SJIG3SCHDM6ZLPBF/graph.json","events_json":"https://pith.science/api/pith-number/BL27SMGT47SJIG3SCHDM6ZLPBF/events.json","paper":"https://pith.science/paper/BL27SMGT"},"agent_actions":{"view_html":"https://pith.science/pith/BL27SMGT47SJIG3SCHDM6ZLPBF","download_json":"https://pith.science/pith/BL27SMGT47SJIG3SCHDM6ZLPBF.json","view_paper":"https://pith.science/paper/BL27SMGT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1208.2654&json=true","fetch_graph":"https://pith.science/api/pith-number/BL27SMGT47SJIG3SCHDM6ZLPBF/graph.json","fetch_events":"https://pith.science/api/pith-number/BL27SMGT47SJIG3SCHDM6ZLPBF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BL27SMGT47SJIG3SCHDM6ZLPBF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BL27SMGT47SJIG3SCHDM6ZLPBF/action/storage_attestation","attest_author":"https://pith.science/pith/BL27SMGT47SJIG3SCHDM6ZLPBF/action/author_attestation","sign_citation":"https://pith.science/pith/BL27SMGT47SJIG3SCHDM6ZLPBF/action/citation_signature","submit_replication":"https://pith.science/pith/BL27SMGT47SJIG3SCHDM6ZLPBF/action/replication_record"}},"created_at":"2026-05-18T03:11:47.118999+00:00","updated_at":"2026-05-18T03:11:47.118999+00:00"}