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

Modeling Petri Nets by Local Action Systems

By Verlinden N.   Janssens D.  

Electronic Notes in Theoretical Computer Science, Vol. 50, Iss. 3, 2004-01 ,pp. : 1-7

Elsevier

Access to resources Recommend Favorite

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

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