Using High-Level Petri Nets in the Field of Intelligent Networks

Authors:
Carla Capellmann;Heinz Dibold;Uwe Herzog
Affiliations:
-;-;-
Venue:
Application of Petri Nets to Communication Networks, Advances in Petri Nets
Year:
1999

Citing 0
Cited 2

Modeling and verification of cryptographic protocols using coloured petri nets and design/CPN

Nordic Journal of Computing
A two-level approach for modeling and verification of telecommunication systems

PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics

Quantified Score

Hi-index	0.00

Visualization

Abstract