Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets

Model Driven Engineering Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04425-0_59 ◽

2009 ◽

pp. 727-732 ◽

Cited By ~ 8

Author(s):

Manuel Wimmer ◽

Angelika Kusel ◽

Johannes Schoenboeck ◽

Gerti Kappel ◽

Werner Retschitzegger ◽

...

Keyword(s):

Petri Nets ◽

Colored Petri Nets ◽

Model Based ◽

Qvt Relations

Download Full-text

Attack Composition Model Based on Generalized Stochastic Colored Petri Nets

JOURNAL OF ELECTRONICS INFORMATION TECHNOLOGY ◽

10.3724/sp.j.1146.2013.00090 ◽

2014 ◽

Vol 35 (11) ◽

pp. 2608-2614

Author(s):

Xiang Gao ◽

Yue-fei Zhu ◽

Sheng-li Liu

Keyword(s):

Petri Nets ◽

Colored Petri Nets ◽

Model Based

Download Full-text

Executable Model-Based Risk Analysis Method for Identity Management Systems: Using Hierarchical Colored Petri Nets

Trust, Privacy, and Security in Digital Business - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40343-9_5 ◽

2013 ◽

pp. 48-61 ◽

Cited By ~ 1

Author(s):

Ebenezer Paintsil ◽

Lothar Fritsch

Keyword(s):

Risk Analysis ◽

Petri Nets ◽

Identity Management ◽

Colored Petri Nets ◽

Management Systems ◽

Analysis Method ◽

Model Based ◽

Identity Management Systems ◽

Executable Model

Download Full-text

Model-Based Monitoring and Adaptation of Pacemaker Behavior Using Hierarchical Fuzzy Colored Petri-Nets

IEEE Transactions on Systems Man and Cybernetics Systems ◽

10.1109/tsmc.2018.2861718 ◽

2020 ◽

Vol 50 (9) ◽

pp. 3344-3357

Author(s):

Negar Majma ◽

Seyed Morteza Babamir

Keyword(s):

Petri Nets ◽

Colored Petri Nets ◽

Model Based

Download Full-text

Modeling and Analysis of SMER Constraints Violation in IRBAC 2000 Model Based on Colored Petri Nets

International Journal of Security and Its Applications ◽

10.14257/ijsia.2014.8.1.03 ◽

2014 ◽

Vol 8 (1) ◽

pp. 19-32 ◽

Cited By ~ 1

Author(s):

Meng Liu ◽

Xuan Wang

Keyword(s):

Petri Nets ◽

Colored Petri Nets ◽

Modeling And Analysis ◽

Model Based

Download Full-text

Web Service Automatic Composition Model Based on Colored Petri Nets

Communications and Network ◽

10.4236/cn.2013.51b023 ◽

2013 ◽

Vol 05 (01) ◽

pp. 101-105 ◽

Cited By ~ 2

Author(s):

Kai Nie ◽

Houxiang Wang ◽

Xiaopei Jing ◽

Zhihao Xie

Keyword(s):

Petri Nets ◽

Web Service ◽

Colored Petri Nets ◽

Model Based ◽

Automatic Composition

Download Full-text

Colored Petri nets model based conformance test generation

2011 IEEE Symposium on Computers and Communications (ISCC) ◽

10.1109/iscc.2011.5983967 ◽

2011 ◽

Cited By ~ 5

Author(s):

Jing Liu ◽

Xinming Ye ◽

Jun Li

Keyword(s):

Petri Nets ◽

Test Generation ◽

Colored Petri Nets ◽

Conformance Test ◽

Model Based

Download Full-text

A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets

Component-Based Software Development for Embedded Systems - Lecture Notes in Computer Science ◽

10.1007/11591962_3 ◽

2005 ◽

pp. 35-58

Author(s):

Leandro Dias da Silva ◽

Angelo Perkusich

Keyword(s):

Embedded Systems ◽

Petri Nets ◽

Formal Specification ◽

Colored Petri Nets ◽

Model Based ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

A verifiable low-level concurrent programming model based on colored Petri nets

Science China Information Sciences ◽

10.1007/s11432-011-4300-1 ◽

2011 ◽

Vol 54 (10) ◽

pp. 2013-2027

Author(s):

ShengYuan Wang ◽

Yuan Dong

Keyword(s):

Petri Nets ◽

Programming Model ◽

Concurrent Programming ◽

Colored Petri Nets ◽

Low Level ◽

Model Based

Download Full-text

Modeling Recursive Search Algorithms by Means of Hierarchical Colored Petri Nets and CPN Tools

2015 12th International Conference on Information Technology - New Generations ◽

10.1109/itng.2015.143 ◽

2015 ◽

Cited By ~ 2

Author(s):

Clarimundo Machado Moraes Junior ◽

Rita Maria Silva Julia ◽

Stephane Julia

Keyword(s):

Petri Nets ◽

Search Algorithms ◽

Colored Petri Nets ◽

Cpn Tools ◽

Recursive Search

Download Full-text

Research on equipment supportability assessment based on agent-oriented colored petri nets

2009 8th International Conference on Reliability, Maintainability and Safety ◽

10.1109/icrms.2009.5270063 ◽

2009 ◽

Author(s):

Yu Cao ◽

Shengde Wang ◽

Tiening Wang ◽

Xinyue Tian

Keyword(s):

Petri Nets ◽

Colored Petri Nets

Download Full-text