{"id":"W2909716633","doi":"10.3166/jesa.51.333-345","title":"Modeling and application of an embedded real-time system based on real-time colored Petri net","year":2018,"lang":"en","type":"article","venue":"Journal Européen des Systèmes Automatisés","topic":"Embedded Systems and FPGA Design","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Colored; Computer science; Petri net; Real-time computing; Net (polyhedron); Stochastic Petri net; Embedded system; Distributed computing; Mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004239834,0.0005973667,0.0004368804,0.0004760083,0.000387247,0.0009551606,0.001251888,0.0006580374,0.001710461],"category_scores_gemma":[0.0006245414,0.0002998767,0.0007327456,0.0003127968,0.0004603254,0.0006838774,0.0004024931,0.0004407328,0.000291799],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006424672,"about_ca_system_score_gemma":0.001365799,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0104794,"about_ca_topic_score_gemma":0.006334127,"domain_scores_codex":[0.9996153,0.00007889949,0.000020478,0.00008922869,0.000147349,0.00004862215],"domain_scores_gemma":[0.9997484,0.00008617226,0.00003513669,0.00003199644,0.00007949909,0.00001882603],"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.00008285099,0.00004505269,0.0008334928,0.0001103523,0.00003637916,0.0004695512,0.0001165284,0.9479512,0.01927435,0.01823811,0.0002864129,0.01255581],"study_design_scores_gemma":[0.000007319588,0.00002479978,0.0001741214,0.000006962646,0.00002154704,0.00004926271,0.000009614912,0.9917652,0.004573268,0.001995459,0.001364584,0.000007770748],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.043878,0.0002615548,0.9452042,0.0001100283,0.00009708438,0.0000845998,0.00008901295,0.001249983,0.009025468],"genre_scores_gemma":[0.9107268,0.0004160964,0.08054414,0.00004120223,0.00001801485,0.0001056502,0.0001112136,0.00007884042,0.007958072],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0104794,"threshold_uncertainty_score":0.02083677,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01114801449745584,"score_gpt":0.233918309055688,"score_spread":0.2227702945582322,"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."}}