A Collaborative Intelligent Hypermedia Model Based on Advanced Petri Nets

2013 Third International Conference on Intelligent System Design and Engineering Applications ◽

10.1109/isdea.2012.13 ◽

2013 ◽

Author(s):

Yu Zhang

Keyword(s):

Petri Nets ◽

Model Based ◽

Hypermedia Model

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

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 ◽

Petri Nets ◽

Competitive Neural Network ◽

Model Based

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 ◽

Petri Nets ◽

Control Model ◽

Access Control Model ◽

Model Based

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

Petri Nets ◽

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 ◽

Cited By ~ 2

Author(s):

S. Ribaric ◽

B. Dalbelo Basic

Keyword(s):

Knowledge Representation ◽

Petri Nets ◽

Knowledge Representation And Reasoning ◽

Model Based

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

Petri Nets ◽

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 ◽

Cited By ~ 1

Author(s):

Hammadi Bennoui

Keyword(s):

Petri Nets ◽

Causal Model ◽

Model Based

Download Full-text

Module Composition within Petri Nets Model-based Development

2007 International Symposium on Industrial Embedded Systems ◽

10.1109/sies.2007.4297351 ◽

2007 ◽

Cited By ~ 1

Author(s):

Aniko Costa ◽

Luis Gomes

Keyword(s):

Petri Nets ◽

Model Based

Download Full-text

An adaptive hypermedia model based on student's lexicon

Expert Systems ◽

10.1111/exsy.12222 ◽

2017 ◽

Vol 34 (4) ◽

pp. e12222 ◽

Cited By ~ 3

Author(s):

Pedro Salcedo ◽

M. Angélica Pinninghoff ◽

Ricardo Contreras ◽

Jorge F. Figueroa

Keyword(s):

Adaptive Hypermedia ◽

Model Based ◽

Hypermedia 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 ◽

Cited By ~ 4

Author(s):

M. Gerzson ◽

Zs. Csáki ◽

K.M. Mangos

Keyword(s):

Petri Nets ◽

Qualitative Model ◽

Model Based ◽

High Level

Download Full-text