Modelling the protocol stack in NCS with deterministic and stochastic petri net

DOI10.1080/00207720903308355MaRDI QIDQ3006246zbMATH OpenOpenAlexFDO

Authors Chen Hui, Zhou Chunjie, Zhu Weifeng

Publication date 10 June 2011

Published in International Journal of Systems Science. Principles and Applications of Systems and Integration (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207720903308355

zbMATH Keywords

message scheduling schemeNetworked Control Systems (NCS)Petri net formal description techniqueprotocol stack

Mathematics Subject Classification ID

Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete event control/observation systems (93C65)

Recommendations

• scientific article; zbMATH DE number 978520
• Stochastic Petri Nets
• scientific article; zbMATH DE number 763717
• A case study for the application of deterministic and stochastic Petri nets in the SoC communication domain
• scientific article; zbMATH DE number 1530245
• Network models from Petri nets with catalysts
• Nested Petri nets: modeling and analysis of distributed systems with object structure

Cited in

(4)

• Controllability of control and mixture weakly dependent siphons in S\(^{3}\)PR
• Using high level Petri nets to model the inter-session network coding
• A Petri Net Model of Handshake Protocols
• Recursive solution of number of reachable states of a simple subclass of FMS

This page was built for publication: Modelling the protocol stack in NCS with deterministic and stochastic petri net

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3006246)