{"id":"W1491096193","doi":"10.1109/pnpm.1999.796556","title":"Stepwise refinements of net models and their place invariants","year":2003,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Memorial University of Newfoundland","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Petri net; Net (polyhedron); Simple (philosophy); Computer science; Invariant (physics); Mathematical optimization; Theoretical computer science; Algorithm; Mathematics","routes":{"ca_aff":true,"ca_fund":true,"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.001292113,0.0007589998,0.0003083234,0.000897956,0.0004492373,0.0008398843,0.001227961,0.000528654,0.002023223],"category_scores_gemma":[0.004276188,0.0006689675,0.001729536,0.00059918,0.001489154,0.001481483,0.001181512,0.001265429,0.0005133144],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009424565,"about_ca_system_score_gemma":0.000937566,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00456239,"about_ca_topic_score_gemma":0.006098906,"domain_scores_codex":[0.998774,0.0003408249,0.00009249435,0.0001538086,0.0005418377,0.00009703499],"domain_scores_gemma":[0.9982556,0.000824319,0.0002534952,0.0003812894,0.0002383926,0.00004701679],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001710791,0.00008695706,0.001652247,0.0001486841,0.00006238865,0.001258494,0.0009165082,0.4038906,0.02390531,0.5311172,0.0005789563,0.03621153],"study_design_scores_gemma":[0.00004491864,0.0001473005,0.0005306383,0.00004405853,0.00007423708,0.0002044013,0.00009563061,0.6799009,0.01482125,0.2961755,0.007926926,0.00003428001],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03226406,0.00009455969,0.9627533,0.000065284,0.00002161348,0.0001159321,0.0001361345,0.0004364535,0.004112662],"genre_scores_gemma":[0.4802437,0.0004387393,0.5121033,0.00006602958,0.00003935661,0.0005456071,0.0008085474,0.0002497979,0.005504935],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00456239,"threshold_uncertainty_score":0.009071648,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04375337171812368,"score_gpt":0.2439604716659143,"score_spread":0.2002070999477906,"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."}}