Qualitative model based verification of operating procedures by high level petri nets

1994 ◽  
Vol 18 ◽  
pp. S565-S569 ◽  
Author(s):  
M. Gerzson ◽  
Zs. Csáki ◽  
K.M. Mangos
Keyword(s):  
Petri Nets ◽  
Qualitative Model ◽  
Model Based ◽  
High Level

scholarly journals Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets

1985 ◽  
Vol 14 (198) ◽  
Author(s):  
Kurt Jensen ◽  
Erik Meineche Schmidt
Keyword(s):  
Petri Nets ◽  
Computer Science ◽  
Formal Semantics ◽  
Denotational Semantics ◽  
Semantic Model ◽  
Introductory Course ◽  
Model Based ◽  
High Level

This paper describes the formal semantics of a subset of PASCAL by means of a semantic model based on a combination of denotational semantics and high-level Petri nets. It is our intention that the paper be used as part of the written material for an introductory course in Computer Science.

Attack Composition Model Based on Generalized Stochastic Colored Petri Nets

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

scholarly journals Affective-Model Based High-Level Controller for Human-Robot Applications

2012 ◽  
Vol 41 ◽  
pp. 812-818
Author(s):  
Shahrul Nairn Sidek ◽  
Elliana Ismaif ◽  
Nor Anija Jalaludin
Keyword(s):  
Model Based ◽  
High Level
Sign in / Sign up

Export Citation Format

Share Document