Formalization of petri nets with clocks

被引：0
|
作者：
机构：
[1] Uzal, R.
[2] Riesco, D.
[3] Montejano, G.
[4] Vilallonga, G.
[5] Debnath, Narayan C.
来源：
Uzal, R. (ruzal@unsl.edu.ar) | 2005年 / IOS Press BV卷 / 05期
关键词：
Analysis algorithms - Concurrent process - Correction of errors - Real time specifications - Temporal invariants - timed graphs - timed PN - Unreachable States;
D O I：
10.3233/jcm-2005-5s114
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Formalization of petri nets with clocks
    Uzal, R.
    Riesco, D.
    Montejano, G.
    Vilallonga, G.
    Debnath, Narayan C.
    JOURNAL OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING, 2005, 5 (01) : S185 - S199
  • [2] Petri nets with clocks and applications to the model of processes
    Vilallonga, G
    Riesco, D
    Montejano, G
    Uzal, R
    Felice, L
    ISSUES AND TRENDS OF INFORMATION TECHNOLOGY MANAGEMENT IN CONTEMPORARY ORGANIZATIONS, VOLS 1 AND 2, 2002, : 593 - 597
  • [3] Petri Nets Tool Creation for Process Visualisation and Formalization
    Balogh, Zoltan
    Kucharik, Michal
    DIVAI 2016: 11TH INTERNATIONAL SCIENTIFIC CONFERENCE ON DISTANCE LEARNING IN APPLIED INFORMATICS, 2016, : 67 - 76
  • [4] Formalization and representation of ontologies by Petri nets has objects
    Dib, Lynda
    Tayeb, Laskri Mohamed
    KNOWLEDGE MANAGEMENT AND INNOVATION IN ADVANCING ECONOMIES-ANALYSES & SOLUTIONS, VOLS 1-3, 2009, : 238 - 244
  • [5] FORMALIZATION OF TEXTUAL USE CASES BASED ON PETRI NETS
    Some, Stephane S.
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2010, 20 (05) : 695 - 737
  • [6] FORMALIZATION OF THE BEHAVIOR OF ACTORS BY COLORED PETRI NETS AND SOME APPLICATIONS
    SAMI, Y
    VIDALNAQUET, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 506 : 110 - 122
  • [7] Formalization of Karp-Miller Tree Construction on Petri Nets
    Yamamoto, Mitsuharu
    Sekine, Shogo
    Matsumoto, Saki
    PROCEEDINGS OF THE 6TH ACM SIGPLAN CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP'17, 2017, : 66 - 78
  • [8] Formalization of UML Composite Structure using Colored Petri Nets
    Iqbal, Rao Sohail
    Talib, Ramzan
    Rehman, Haseeb Ur
    Awais, Muhammad
    Raza, Wajid
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2018, 9 (10) : 97 - 109
  • [9] Formalization and Verification of Business Process Modeling Based on UML and Petri Nets
    颜志军
    甘仞初
    Journal of Beijing Institute of Technology(English Edition), 2005, (02) : 212 - 216
  • [10] Toward the use of Petri nets for the formalization of OWL-S choreographies
    Vidal, Juan C.
    Lama, Manuel
    Bugarin, Alberto
    KNOWLEDGE AND INFORMATION SYSTEMS, 2012, 32 (03) : 629 - 665
12345