Towards Formal Modeling and Analysis of SystemJ GALS Systems using Coloured Petri Nets

2019 IEEE 17th International Conference on Industrial Informatics (INDIN) ◽

10.1109/indin41052.2019.8972025 ◽

2019 ◽

Author(s):

Weiyi Zhang ◽

Zoran Salcic ◽

Avinash Malik

Keyword(s):

Formal Modeling ◽

Coloured Petri Nets ◽

Modeling And Analysis ◽

Download Full-text

Formal Modeling and Analysis of SIP Using Colored Petri Nets

2011 7th International Conference on Wireless Communications, Networking and Mobile Computing ◽

10.1109/wicom.2011.6040445 ◽

2011 ◽

Author(s):

Yunli Bai ◽

Xinming Ye ◽

Yuanfei Ma

Keyword(s):

Colored Petri Nets ◽

Formal Modeling ◽

Modeling And Analysis

Download Full-text

Formal Modeling and Analysis of HMIPv6 Using Colored Petri Nets

2010 International Conference on Communications and Mobile Computing ◽

10.1109/cmc.2010.222 ◽

2010 ◽

Author(s):

Tao Sun ◽

Xinming Ye ◽

Jing Liu ◽

Meng Yang

Keyword(s):

Colored Petri Nets ◽

Formal Modeling ◽

Modeling And Analysis

Download Full-text

Formal Modeling and Analysis Techniques for High Level Petri Nets

10.25148/etd.fi14071134 ◽

2014 ◽

Author(s):

Su Liu

Keyword(s):

Formal Modeling ◽

Modeling And Analysis ◽

Analysis Techniques ◽

Download Full-text

Modeling and analysis of real-time issues in rehabilitation robotic systems using coloured Petri nets

Proceedings of the IEEE Internatinal Symposium on Intelligent Control ◽

10.1109/isic.2002.1157798 ◽

2003 ◽

Author(s):

Xiao Kun Si ◽

H.A. Abdullah ◽

O. Basir

Keyword(s):

Real Time ◽

Robotic Systems ◽

Coloured Petri Nets ◽

Modeling And Analysis ◽

Rehabilitation Robotic

Download Full-text

Modeling and Analysis of Framework for the Implementation of a Virtual Workplace in Nigerian Universities Using Coloured Petri Nets

Advances in Intelligent Systems and Computing - Intelligent Computing and Optimization ◽

10.1007/978-3-030-68154-8_39 ◽

2021 ◽

pp. 430-439

Author(s):

James Okpor ◽

Simon T. Apeh

Keyword(s):

Coloured Petri Nets ◽

Modeling And Analysis ◽

Virtual Workplace

Download Full-text

Modeling and Analysis of a Web Service Firewall Using Coloured Petri Nets

10.1109/apscc.2008.203 ◽

2008 ◽

Author(s):

Zobeideh Aliannezhadi ◽

Mohammad Abdollahi Azgomi

Keyword(s):

Web Service ◽

Coloured Petri Nets ◽

Modeling And Analysis

Download Full-text

Modeling behavior and performance of air traffic controllers using coloured petri nets

PsycEXTRA Dataset ◽

10.1037/e557102013-034 ◽

2012 ◽

Author(s):

Hardy Smieszek

Keyword(s):

Air Traffic ◽

Coloured Petri Nets ◽

Air Traffic Controllers ◽

And Performance ◽

Modeling Behavior

Download Full-text

Modeling and Analysis for Cross-Organizational Emergency Response Systems Using Petri Nets

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2013.02290 ◽

2014 ◽

Vol 36 (11) ◽

pp. 2290-2302 ◽

Author(s):

Qing-Tian ZENG ◽

Fa-Ming LU ◽

Cong LIU ◽

De-Cun MENG

Keyword(s):

Emergency Response ◽

Modeling And Analysis ◽

Response Systems ◽

Emergency Response Systems

Download Full-text

Simulating Wood-framing Wall Panels Production with Timed Coloured Petri Nets

10.22260/isarc2019/0137 ◽

2019 ◽

Author(s):

Fabiano Correa

Keyword(s):

Coloured Petri Nets ◽

Download Full-text

Formal modeling and analysis of RAMP transaction systems

Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16 ◽

10.1145/2851613.2851838 ◽

2016 ◽

Author(s):

Si Liu ◽

Peter Csaba Ölveczky ◽

Muntasir Raihan Rahman ◽

Jatin Ganhotra ◽

Indranil Gupta ◽

...

Keyword(s):

Formal Modeling ◽

Modeling And Analysis

Download Full-text