scholarly journals Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3

2017 ◽  
Author(s):  
Wiktor Daszczuk
Keyword(s):  
Distributed Systems ◽  
Petri Net

Resource Similarities in Petri Net Models of Distributed Systems

2003 ◽  
pp. 35-48 ◽  
Author(s):  
Vladimir A. Bashkin ◽  
Irina A. Lomazova
Keyword(s):  
Distributed Systems ◽  
Petri Net

Faults and timing analysis in real-time distributed systems: A fuzzy time Petri-net-based approach

1996 ◽  
Vol 83 (2) ◽  
pp. 143-168 ◽  
Author(s):  
Jorge C.A. de Figueiredo ◽  
Angelo Perkusich
Keyword(s):  
Distributed Systems ◽  
Real Time ◽  
Petri Net ◽  
Timing Analysis ◽  
Time Petri Net

scholarly journals Degrees of Non-determinism and Concurrency: A Petri Net View

1984 ◽  
Vol 13 (180) ◽  
Author(s):  
Mogens Nielsen ◽  
P. S. Thiagarajan
Keyword(s):  
Distributed Systems ◽  
Petri Nets ◽  
Petri Net ◽  
Subject Matter ◽  
The Subject

The aim of this paper is to present an introduction to the theory of Petri nets. The subject matter of this theory is distributed systems and processes. In our presentation, we shall emphasise concepts at the expense of specific results and techniques. Applications of the theory, though many and varied, will not be dealt with here. Even in dealing with the concepts, we shall focus on those that we believe are relevant to the study of distributed systems in general (independent of the specific framework one might choose). In the concluding part, we will attempt a broader sketch of the scope and contents of net theory.

scholarly journals Modelling Causal Consistency for Distributed Systems using Hierarchical Coloured Petri Net

2015 ◽  
Vol 8 (35) ◽  
Author(s):  
Saeed Saeedvand ◽  
Mortaza Abbaszadeh ◽  
Fahimeh Ansaroudi
Keyword(s):  
Distributed Systems ◽  
Petri Net ◽  
Causal Consistency ◽  
Coloured Petri Net
Sign in / Sign up

Export Citation Format

Share Document