Analysis of VME-Bus communication protocol - RTCP-net approach-Reference-Cited by-同舟云学术

Analysis of VME-Bus communication protocol - RTCP-net approach

Published:2006-09-01 Issue:1 Volume:35 Page:91-108
ISSN:0922-6443
Container-title:Real-Time Systems
language:en
Short-container-title:Real-Time Syst

Author:

Szpyrka Marcin

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modelling and Simulation,Control and Systems Engineering

Link

http://link.springer.com/content/pdf/10.1007/s11241-006-9003-0.pdf

Reference9 articles.

1. Cheng AMK (2002) Real-time systems. Scheduling, Analysis, and Verification. Wiley Interscience, New Jersey

2. Heath S (ed) (1995) VME bus a practical companion. Butterworth-Heinemann Ltd., Oxford

3. Heitmeyer C, Mandrioli D (eds) (1996) Formal methods for real-time computing. John Wiley & Sons, Chichester

4. Jensen K (1992) Coloured Petri nets. Basic concepts, Analysis Methods and Practical Use. Vol. 1, Springer-Verlag

5. Kristensen LM, Christensen S, Jensen K (1998) The practitioner’s guide to coloured Petri nets. Intern J Softw Tools Techn Trans: Spec Sect Coloured Petri Nets 2(2):98–132

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Polynomial-Time Algorithm to Obtain State Machine Cover of Live and Safe Petri Nets;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2020-10

2. Decomposition of distributed edge systems based on the Petri nets and linear algebra technique;Journal of Systems Architecture;2019-06

3. Tools and Methods for RTCP-Nets Modeling and Verification;Archives of Control Sciences;2016-09-01

4. Petri Nets in Design of Control Algorithms;Design of Reconfigurable Logic Controllers;2015-12-24

5. Communication design for multi-boards based on VME bus;Ninth International Symposium on Precision Engineering Measurement and Instrumentation;2015-03-06