Petri nets‐based model for the analysis of NORIA protocol

E-ISSN： 1532-0634|27|17|4704-4715

ISSN： 1532-0626

Source： CONCURRENCY AND COMPUTATION: PRACTICE & EXPERIENCE (ELECTRONIC), Vol.27, Iss.17, 2015-12, pp. : 4704-4715

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A new model for monitoring intrusion based on Petri Nets

By Ali H Arafat

Information Management & Computer Security, Vol. 9, Iss. 4, 2001-08 ,pp. : 175-182

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Attack trace generation of cryptographic protocols based on coloured Petri nets model

By Bai Yunli

International Journal of Wireless and Mobile Computing, Vol. 6, Iss. 1, 2013-04 ,pp. : 91-97

Inderscience Publishers

Access to resources Recommend Favorite

Petri nets, traces, and local model checking

By Cheng A.

Theoretical Computer Science, Vol. 183, Iss. 2, 1997-09 ,pp. : 229-251

Elsevier

Access to resources Recommend Favorite

Analysis issues in Petri nets with inhibitor arcs

By Busi N.

Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. : 127-177

Elsevier

Access to resources Recommend Favorite

Design, analysis and implementation of a real-world manufacturing cell controller based on Petri nets

By Huang Yisheng Jeng Muder

International Journal of Computer Integrated Manufacturing, Vol. 14, Iss. 3, 2001-05 ,pp. : 304-318

Taylor & Francis Ltd

Access to resources Recommend Favorite