Petri nets‐based model for the analysis of NORIA protocol

By  

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

John Wiley & Sons Inc

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

Model Checking of Time Petri Nets Using the State Class Timed Automaton

By Lime Didier   Roux Olivier  

Discrete Event Dynamic Systems, Vol. 16, Iss. 2, 2006-04 ,pp. : 179-205

Springer Publishing Company

Access to resources Recommend Favorite

A Process-control and Diagnostic Tool based on Continuous Fuzzy Petri Nets

By Grantham K. H.P.   Raymond T.   Stephen S.W.  

Engineering Applications of Artificial Intelligence, Vol. 8, Iss. 6, 1995-12 ,pp. : 643-650

Elsevier

Access to resources Recommend Favorite