Verification and Analysis of Properties of Dynamic Systems Based on Petri Nets - Semantic Scholar

Abstract

Sorry, we couldn't extract an abstract for this paper.

DOI: 10.1109/PCEE.2002.1115209

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Cited By

Modified EGSR for network security

Baljinder Singh, Tejpreet Singh
2017 51st Annual Conference on Information…
2017

A lightweight group-key management protocol for secure ad-hoc-network routing

Natalia Castro Fernandes, Otto Carlos Muniz Bandeira Duarte
Computer Networks
2011

An Efficient Group Key Management for Secure Routing in Ad Hoc Networks

Natalia Castro Fernandes, Otto Carlos Muniz Bandeira Duarte
IEEE GLOBECOM 2008 - 2008 IEEE Global…
2008

References

Sorry, we couldn't extract any references for this paper.

Slides referencing similar topics

A calculus for automatic verification of Petri Nets based on Resolution and Dynamic Logics
Cláudia Nalon + 3 • Jul 06, 2015
Petri nets – Introduction – Examples – Properties – Analysis techniques
Petri Net • Jan 22, 2016
Unfolding-based Reachability Checking of Petri Nets
César Rodŕıguez + 1 • Dec 07, 2015
Show More