scholarly journals Towards Automated fUML Model Verification with Petri Nets

2019 ◽  
Author(s):  
Francesco Bedini ◽  
Ralph Maschotta ◽  
Alexander Wichmann ◽  
Armin Zimmermann
Keyword(s):  
Petri Nets ◽  
Model Verification

An Overview of VV&A Methods for Conceptual Model

2013 ◽  
Vol 444-445 ◽  
pp. 860-864
Author(s):  
Xiao Jian Ding ◽  
Feng Xin Sun
Keyword(s):  
Petri Nets ◽  
Formal Verification ◽  
Conceptual Model ◽  
Conceptual Modeling ◽  
Order Logic ◽  
Model Verification ◽  
First Order Logic ◽  
Verification Method ◽  
First Order ◽  
Formal Techniques

This paper summarizes the literature and presents important concepts related to conceptual model verification. Different approaches have been proposed in the literature. These approaches have been introduced as two parts with emphasis on formal techniques. First order logic for structural views and Petri nets for behavioral views are investigated in the search of a practical verification method for conceptual modeling in UML. Then a short assessment of formal verification work for UML will be presented.

Modeling and Analyzing Component-Based Distributed Railway Interlocking System with Petri Nets

2009 ◽  
Vol 129 (5) ◽  
pp. 455-461 ◽  
Author(s):  
Xinhong Hei ◽  
Sei Takahashi ◽  
Hideo Nakamura
Keyword(s):  
Petri Nets
Sign in / Sign up

Export Citation Format

Share Document