{"id":"W4286632886","doi":"10.21203/rs.3.rs-1773639/v1","title":"Modeling Cardiac Pacemakers With Timed Coloured Petri Nets And Related Tools","year":2022,"lang":"en","type":"preprint","venue":"Research Square","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"Deanship of Scientific Research, Prince Sattam bin Abdulaziz University; Prince Sattam bin Abdulaziz University","keywords":"Petri net; Computer science; Software engineering; Software; Process architecture; Reliability engineering; Real-time computing; Programming language; Engineering","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001816527,0.0007728168,0.0005308414,0.0008657195,0.0004048667,0.001717393,0.001637763,0.001122038,0.001689183],"category_scores_gemma":[0.003586418,0.000574344,0.001171175,0.0005422516,0.001264388,0.001035414,0.000934397,0.000972727,0.0002509666],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001315966,"about_ca_system_score_gemma":0.001888224,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01102563,"about_ca_topic_score_gemma":0.0088448,"domain_scores_codex":[0.9990163,0.0003826422,0.00006406116,0.0001399724,0.0002958863,0.0001010308],"domain_scores_gemma":[0.9979556,0.001402459,0.0002408939,0.0001277322,0.0002127394,0.00006058854],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004012401,0.00002871664,0.0004644635,0.00003801058,0.00001866682,0.0001450315,0.00007096978,0.9555022,0.002786429,0.03712414,0.000129184,0.003652104],"study_design_scores_gemma":[0.000010847,0.00001179112,0.00004111991,0.000009089307,0.000008113919,0.00001393809,0.000007327156,0.9897872,0.001177768,0.008193119,0.0007342909,0.000005449059],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02397102,0.0001250798,0.9724323,0.00009488572,0.00004474657,0.00009622971,0.0001098581,0.0006311141,0.00249472],"genre_scores_gemma":[0.6551065,0.0003966563,0.3390436,0.00006859526,0.00003321184,0.0002668748,0.0001785222,0.0001376054,0.004768424],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01102563,"threshold_uncertainty_score":0.02192295,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06633728403001095,"score_gpt":0.3260218248884431,"score_spread":0.2596845408584321,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}