A False History of True Concurrency: From Petri to Tools

被引：0
作者：
Esparza, Javier [1 ]
机构：
[1] Tech Univ Munich, Inst Informat, D-85748 Garching, Germany
来源：
MODEL CHECKING SOFTWARE | 2010年 / 6349卷
关键词：
SYMBOLIC UNFOLDINGS; BRANCHING-PROCESSES; EVENT STRUCTURES; MODEL-CHECKING; STG UNFOLDINGS; FINITE PREFIX; SYSTEMS; DIAGNOSIS; NETS; BEHAVIOR;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
I briefly review the history of the unfolding approach to model checking.
引用
收藏
页码：180 / 186
页数：7
相关论文
共 50 条
  • [21] CORR Insights®: False-positive Cultures After Native Knee Aspiration: True or False
    Schlatterer, Daniel
    CLINICAL ORTHOPAEDICS AND RELATED RESEARCH, 2017, 475 (07) : 1844 - 1846
  • [22] Athletic participation brings more job opportunities, true or false?
    Celse, Jeremy
    Chang, Kirk
    INTERNATIONAL JOURNAL OF HUMAN RESOURCE MANAGEMENT, 2024, 35 (07) : 1225 - 1249
  • [23] Preventing Future Crimes Identifying Markers of True and False Intent
    Granhag, Par Anders
    Mac Giolla, Erik
    EUROPEAN PSYCHOLOGIST, 2014, 19 (03) : 195 - 206
  • [24] True versus false positives and negatives on the Modified Checklist For Autism in Toddlers
    Matson, Johnny L.
    Kozlowski, Alison M.
    Fitzgerald, Mary E.
    Sipes, Megan
    RESEARCH IN AUTISM SPECTRUM DISORDERS, 2013, 7 (01) : 17 - 22
  • [25] QUESTIONNAIRE TOOLS FOR THE DIAGNOSIS OF CARPAL TUNNEL SYNDROME FROM THE PATIENT HISTORY
    Bland, Jeremy D. P.
    Weller, Peter
    Rudolfer, Stephan
    MUSCLE & NERVE, 2011, 44 (05) : 757 - 762
  • [26] Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
    Jensen K.
    Kristensen L.M.
    Wells L.
    International Journal on Software Tools for Technology Transfer, 2007, 9 (3-4) : 213 - 254
  • [27] Xpert MTB/RIF Results in Patients With Previous Tuberculosis: Can We Distinguish True From False Positive Results?
    Theron, Grant
    Venter, Rouxjeane
    Calligaro, Greg
    Smith, Liezel
    Limberis, Jason
    Meldau, Richard
    Chanda, Duncan
    Esmail, Aliasgar
    Peter, Jonny
    Dheda, Keertan
    CLINICAL INFECTIOUS DISEASES, 2016, 62 (08) : 995 - 1001
  • [28] Accuracy of ADC ratio in discriminating true and false positives in multiparametric prostatic MRI
    Falaschi, Zeno
    Valenti, Martina
    Lanzo, Giuseppe
    Attanasio, Silvia
    Valentini, Eleonora
    Navarro, Lara Isabel Garcia
    Aquilini, Ferruccio
    Stecco, Alessandro
    Carriero, Alessandro
    EUROPEAN JOURNAL OF RADIOLOGY, 2020, 128
  • [29] Been there before? Examining "familiarity" as a moderator for discriminating between true and false intentions
    Knieps, Melanie
    Granhag, Par A.
    Vrij, Aldert
    FRONTIERS IN PSYCHOLOGY, 2014, 5
  • [30] A Multi-Modality Approach to Left Ventricular Aneurysms: True vs False
    Arsanjani, Reza
    Lohrmann, Graham
    Allen, Sorcha
    Unzek, Samuel
    Mookadam, Farouk
    AMERICAN JOURNAL OF MEDICINE, 2016, 129 (08) : E113 - E116
12345