{"id":"W4252972494","doi":"10.1109/icsmc.2009.5346235","title":"Formal modeling and synthesis of event-transferring communication among decentralized supervisors for discrete-event systems","year":2009,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Event (particle physics); Computer science; Set (abstract data type); Theoretical computer science; Semantics (computer science); Representation (politics); Discrete event simulation; Algebraic number; Formal specification; Distributed computing; Programming language; Mathematics; Simulation","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.001864528,0.0005350459,0.0004920775,0.0003598609,0.0004740501,0.001242943,0.001114723,0.000711993,0.001679902],"category_scores_gemma":[0.003384542,0.0003628247,0.000787365,0.0003331886,0.001570111,0.001360096,0.00104077,0.001131157,0.0002675073],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001094094,"about_ca_system_score_gemma":0.001895345,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001511359,"about_ca_topic_score_gemma":0.001549372,"domain_scores_codex":[0.9986233,0.0004418629,0.0001154027,0.0002415342,0.0004729664,0.0001050028],"domain_scores_gemma":[0.9981216,0.001062007,0.0002636306,0.0002878659,0.0001989186,0.00006590137],"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.00005683344,0.00006722094,0.000274395,0.0001369686,0.00002288921,0.000199166,0.000359514,0.6110774,0.007481152,0.3605295,0.0003572177,0.01943772],"study_design_scores_gemma":[0.00003925831,0.00004713442,0.00005340367,0.00002270797,0.00002035626,0.00004025512,0.0000426058,0.9267844,0.005795852,0.06239272,0.004750435,0.00001102994],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006725051,0.00005558966,0.9909468,0.00006984971,0.00001644596,0.00005312568,0.00002983345,0.0001422057,0.001961087],"genre_scores_gemma":[0.5209525,0.0003184188,0.4748452,0.00005466609,0.00005006773,0.0004016882,0.0001468053,0.00008849266,0.003142239],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001864528,"threshold_uncertainty_score":0.009860635,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02443671138210836,"score_gpt":0.2674491226005185,"score_spread":0.2430124112184101,"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."}}