Protocol analysis using Numerical Petri Nets

Advances in Petri Nets 1985 - Lecture Notes in Computer Science ◽

10.1007/bfb0016225 ◽

2005 ◽

pp. 435-452 ◽

Cited By ~ 13

Author(s):

G. R. Wheeler ◽

M. C. Wilbur-Ham ◽

J. Billington ◽

J. A. Gilmour

Keyword(s):

Petri Nets ◽

Protocol Analysis

Download Full-text

A group RPC protocol analysis for distributed network management systems using Petri nets

1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation ◽

10.1109/icsmc.1997.637507 ◽

2002 ◽

Author(s):

Jong-Kun Lee ◽

Chang-Suek Lee ◽

Kwang-Hui Lee

Keyword(s):

Network Management ◽

Petri Nets ◽

Protocol Analysis ◽

Management Systems ◽

Distributed Network ◽

Distributed Network Management

Download Full-text

New approach to cryptographic protocol analysis using coloured Petri nets

CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings ◽

10.1109/ccece.1997.614857 ◽

2002 ◽

Cited By ~ 2

Author(s):

A.M. Basyouni ◽

S.E. Tavares

Keyword(s):

Petri Nets ◽

Protocol Analysis ◽

Coloured Petri Nets ◽

Cryptographic Protocol ◽

New Approach ◽

Cryptographic Protocol Analysis

Download Full-text

Petri nets

AccessScience ◽

10.1036/1097-8542.yb021270 ◽

2015 ◽

Keyword(s):

Petri Nets

Download Full-text

Job postings and the decision to interview: A verbal protocol analysis.

Journal of Applied Psychology ◽

10.1037/0021-9010.78.5.845 ◽

1993 ◽

Vol 78 (5) ◽

pp. 845-856 ◽

Cited By ~ 133

Author(s):

Alison E. Barber ◽

Mark V. Roehling

Keyword(s):

Protocol Analysis ◽

Verbal Protocol ◽

Verbal Protocol Analysis ◽

Job Postings

Download Full-text

Verbal Protocol Analysis Comes of Age

Contemporary Psychology ◽

10.1037/023773 ◽

1985 ◽

Vol 30 (5) ◽

pp. 373-375

Author(s):

Robert L. Mack

Keyword(s):

Protocol Analysis ◽

Verbal Protocol ◽

Verbal Protocol Analysis

Download Full-text

A note on the reliability of two methods of protocol analysis

PsycEXTRA Dataset ◽

10.1037/e517822009-001 ◽

2013 ◽

Author(s):

Wilse B. Webb ◽

Joseph C. Kaspar

Keyword(s):

Protocol Analysis

Download Full-text

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

PsycEXTRA Dataset ◽

10.1037/e557102013-034 ◽

2012 ◽

Cited By ~ 1

Author(s):

Hardy Smieszek

Keyword(s):

Petri Nets ◽

Air Traffic ◽

Coloured Petri Nets ◽

Air Traffic Controllers ◽

And Performance ◽

Modeling Behavior

Download Full-text

Modeling Human-Robot Interaction with Petri-Nets

PsycEXTRA Dataset ◽

10.1037/e578522012-052 ◽

2009 ◽

Cited By ~ 1

Author(s):

Rosemarie Yagoda ◽

Michael D. Coovert

Keyword(s):

Petri Nets ◽

Human Robot Interaction ◽

Robot Interaction

Download Full-text

ESPNET: expert-system-based simulator of Petri nets

IEE Proceedings D Control Theory and Applications ◽

10.1049/ip-d.1988.0033 ◽

1988 ◽

Vol 135 (4) ◽

pp. 239 ◽

Cited By ~ 12

Author(s):

J. Duggan ◽

J. Browne

Keyword(s):

Expert System ◽

Petri Nets

Download Full-text

A Reduction Method of Timed Petri Nets for a Hierarchical Scheduling

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss1987.115.7_914 ◽

1995 ◽

Vol 115 (7) ◽

pp. 914-919

Author(s):

Kazuyuki Mori ◽

Makoto Tsukiyama ◽

Toyoo Fukuda

Keyword(s):

Petri Nets ◽

Reduction Method ◽

Timed Petri Nets ◽

Hierarchical Scheduling

Download Full-text