Module Composition within Petri Nets Model-based Development

2007 International Symposium on Industrial Embedded Systems ◽

10.1109/sies.2007.4297351 ◽

2007 ◽

Author(s):

Aniko Costa ◽

Luis Gomes

Keyword(s):

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):

Colored Petri Nets ◽

Download Full-text

An Intelligent Petri Nets Model Based on Competitive Neural Network

Computer Supported Cooperative Work in Design I - Lecture Notes in Computer Science ◽

10.1007/11568421_39 ◽

2005 ◽

pp. 388-397

Author(s):

Xiao-Qiang Wu

Keyword(s):

Neural Network ◽

Competitive Neural Network ◽

Download Full-text

Formalism of the Access Control Model Based on the Marqued Petri Nets

2008 Second International Conference on Future Generation Communication and Networking ◽

10.1109/fgcn.2008.99 ◽

2008 ◽

Author(s):

Abderrahim Ghadi ◽

Driss Mammass ◽

Maurice Mignotte ◽

Alain Sartout

Keyword(s):

Access Control ◽

Control Model ◽

Access Control Model ◽

Download Full-text

A Service Composition optimization Model Based on Petri Nets and Service Contracts

2020 IEEE 8th International Conference on Information, Communication and Networks (ICICN) ◽

10.1109/icicn51133.2020.9205076 ◽

2020 ◽

Author(s):

Zhou Fang ◽

Chao Ma ◽

Jiaxing Qu ◽

Xue Song ◽

Chi Zhang

Keyword(s):

Service Composition ◽

Optimization Model ◽

Model Based ◽

Service Contracts ◽

Composition Optimization

Download Full-text

Temporal knowledge representation and reasoning model based on Petri nets with time tokens

Proceedings of 8th Mediterranean Electrotechnical Conference on Industrial Applications in Power Systems, Computer Science and Telecommunications (MELECON 96) ◽

10.1109/melcon.1996.550975 ◽

2002 ◽

Author(s):

S. Ribaric ◽

B. Dalbelo Basic

Keyword(s):

Knowledge Representation ◽

Knowledge Representation And Reasoning ◽

Download Full-text

Control flow models using Petri nets for model based testing

2017 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS) ◽

10.1109/idaacs.2017.8095142 ◽

2017 ◽

Author(s):

Tomas Pospisil

Keyword(s):

Control Flow ◽

Flow Models ◽

Model Based ◽

Model Based Testing

Download Full-text

Interacting behavioral Petri nets analysis for distributed causal model-based diagnosis

Autonomous Agents and Multi-Agent Systems ◽

10.1007/s10458-013-9221-5 ◽

2013 ◽

Vol 28 (2) ◽

pp. 155-181 ◽

Author(s):

Hammadi Bennoui

Keyword(s):

Causal Model ◽

Download Full-text

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

Computers & Chemical Engineering ◽

10.1016/0098-1354(94)80092-8 ◽

1994 ◽

Vol 18 ◽

pp. S565-S569 ◽

Author(s):

M. Gerzson ◽

Zs. Csáki ◽

K.M. Mangos

Keyword(s):

Qualitative Model ◽

Model Based ◽

Download Full-text

A New Control Structure Model Based on Object-oriented Petri Nets

Journal of Networks ◽

10.4304/jnw.7.4.746-753 ◽

2012 ◽

Vol 7 (4) ◽

Author(s):

Yan-pei Liu ◽

Yuesheng Gu ◽

Jun Chen

Keyword(s):

Control Structure ◽

Object Oriented ◽

Structure Model ◽

Download Full-text

Formal model-based quantitative safety analysis using timed Coloured Petri Nets

Reliability Engineering & System Safety ◽

10.1016/j.ress.2018.03.035 ◽

2018 ◽

Vol 176 ◽

pp. 62-79 ◽

Author(s):

Daohua Wu ◽

Wei Zheng

Keyword(s):

Formal Model ◽

Safety Analysis ◽

Coloured Petri Nets ◽

Download Full-text