{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:AGD2OTHGGJUF7K7462TECFCSL4","short_pith_number":"pith:AGD2OTHG","schema_version":"1.0","canonical_sha256":"0187a74ce632685fabfcf6a64114525f2758ce7fc97f7a8debe8aae2aeb53fbb","source":{"kind":"arxiv","id":"1305.7050","version":1},"attestation_state":"computed","paper":{"title":"Modelling, Reduction and Analysis of Markov Automata (extended version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS","cs.FL"],"primary_cat":"cs.LO","authors_text":"Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer","submitted_at":"2013-05-30T10:09:33Z","abstract_excerpt":"Markov automata (MA) constitute an expressive continuous-time compositional modelling formalism. They appear as semantic backbones for engineering frameworks including dynamic fault trees, Generalised Stochastic Petri Nets, and AADL. Their expressive power has thus far precluded them from effective analysis by probabilistic (and statistical) model checkers, stochastic game solvers, or analysis tools for Petri net-like formalisms. This paper presents the foundations and underlying algorithms for efficient MA modelling, reduction using static analysis, and most importantly, quantitative analysis"},"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":"1305.7050","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-05-30T10:09:33Z","cross_cats_sorted":["cs.DS","cs.FL"],"title_canon_sha256":"506dba46060427bb5940ea1cad6d3e43df4bc8e99da816c7c28853ff7e55dfd0","abstract_canon_sha256":"731ccd5dff7fc32ad0c3ded718590261e4547d022948381309c845edc95bcc2c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:22:16.527689Z","signature_b64":"yZBMbEOVFUS/aHMSYBBsMPMohLd1nYbHeHXDNx6TZoXjexw28pcYl6P3HJ5cU8iU+ygNViJoyxOnoj1nCmvRCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0187a74ce632685fabfcf6a64114525f2758ce7fc97f7a8debe8aae2aeb53fbb","last_reissued_at":"2026-05-18T03:22:16.527280Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:22:16.527280Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Modelling, Reduction and Analysis of Markov Automata (extended version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS","cs.FL"],"primary_cat":"cs.LO","authors_text":"Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer","submitted_at":"2013-05-30T10:09:33Z","abstract_excerpt":"Markov automata (MA) constitute an expressive continuous-time compositional modelling formalism. They appear as semantic backbones for engineering frameworks including dynamic fault trees, Generalised Stochastic Petri Nets, and AADL. Their expressive power has thus far precluded them from effective analysis by probabilistic (and statistical) model checkers, stochastic game solvers, or analysis tools for Petri net-like formalisms. This paper presents the foundations and underlying algorithms for efficient MA modelling, reduction using static analysis, and most importantly, quantitative analysis"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.7050","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":"1305.7050","created_at":"2026-05-18T03:22:16.527338+00:00"},{"alias_kind":"arxiv_version","alias_value":"1305.7050v1","created_at":"2026-05-18T03:22:16.527338+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.7050","created_at":"2026-05-18T03:22:16.527338+00:00"},{"alias_kind":"pith_short_12","alias_value":"AGD2OTHGGJUF","created_at":"2026-05-18T12:27:38.830355+00:00"},{"alias_kind":"pith_short_16","alias_value":"AGD2OTHGGJUF7K74","created_at":"2026-05-18T12:27:38.830355+00:00"},{"alias_kind":"pith_short_8","alias_value":"AGD2OTHG","created_at":"2026-05-18T12:27:38.830355+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/AGD2OTHGGJUF7K7462TECFCSL4","json":"https://pith.science/pith/AGD2OTHGGJUF7K7462TECFCSL4.json","graph_json":"https://pith.science/api/pith-number/AGD2OTHGGJUF7K7462TECFCSL4/graph.json","events_json":"https://pith.science/api/pith-number/AGD2OTHGGJUF7K7462TECFCSL4/events.json","paper":"https://pith.science/paper/AGD2OTHG"},"agent_actions":{"view_html":"https://pith.science/pith/AGD2OTHGGJUF7K7462TECFCSL4","download_json":"https://pith.science/pith/AGD2OTHGGJUF7K7462TECFCSL4.json","view_paper":"https://pith.science/paper/AGD2OTHG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1305.7050&json=true","fetch_graph":"https://pith.science/api/pith-number/AGD2OTHGGJUF7K7462TECFCSL4/graph.json","fetch_events":"https://pith.science/api/pith-number/AGD2OTHGGJUF7K7462TECFCSL4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AGD2OTHGGJUF7K7462TECFCSL4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AGD2OTHGGJUF7K7462TECFCSL4/action/storage_attestation","attest_author":"https://pith.science/pith/AGD2OTHGGJUF7K7462TECFCSL4/action/author_attestation","sign_citation":"https://pith.science/pith/AGD2OTHGGJUF7K7462TECFCSL4/action/citation_signature","submit_replication":"https://pith.science/pith/AGD2OTHGGJUF7K7462TECFCSL4/action/replication_record"}},"created_at":"2026-05-18T03:22:16.527338+00:00","updated_at":"2026-05-18T03:22:16.527338+00:00"}