• Suche: Petri Net Based Verification of Distributed Algorithms

Treffer 1 - 20 von 237

1

Formal modeling of a causal consistent distributed system and verification of its history via model checking using colored Petri net
Khalid Amjed Mohammed Alsaegg ; Saeid Pashazadeh ; Mina Zolfy Lighvan
PeerJ Computer Science, Vol 11, p e2995 (2025)

Distributed system Modeling Causal consistency Colored Petri net Verification Model checking …
Fachzeitschrift
Merkliste
2

Modular rewritable Petri nets: An efficient model for dynamic distributed systems
Capra, Lorenzo ; Köhler-Bußmeier, Michael
In Theoretical Computer Science 1 April 2024 990

Fachzeitschrift
Merkliste
3

Decomposition of distributed edge systems based on the Petri nets and linear algebra technique
Wiśniewski, R. ; Karatkevich, A. ; Stefanowicz, Ł. ; et al.
In Journal of Systems Architecture June 2019 96:20-31

Fachzeitschrift
Merkliste
4

Petri Net Based Verification of Distributed Algorithms: An Example
Kindler, E. ; Reisig, W. ; Voelzer, H. ; et al.
FORMAL ASPECTS OF COMPUTING. 9(4):409-424

Zeitschrift
Merkliste
5

Active Distribution Network Fault Location Based on Petri Nets and Improved Particle Swarm Optimization Algorithm
Yunfeng Xia ; Jie Yang ; Junan Chen ; et al.
Electrica, Vol 24, Iss 3, Pp 789-798 (2024)

Electrical engineering.... TK1-9971
Fachzeitschrift
Merkliste
7

Petri Net Based Verification of Distributed Algorithms
Kindler, Ekkart ; Reisig, Wolfgang ; Völzer, Hagen ; et al.

E-Ressource
Merkliste
8

Petri Net Based Verification of Distributed Algorithms ; An Example
Kindler, Ekkart ; Reisig, Wolfgang ; Völzer, Hagen ; et al.

Petri Nets Modelling Correctness Verification Techniques Temporal Logic 004 Informatik …
Buch
Merkliste
9

Petri Net Based Verification of Distributed Algorithms: An Example
Ekkart Kindler ; Wolfgang Reisig ; Hagen Völzer ; et al.
http://www.informatik.hu-berlin.de/~kindler/PostScript/HUIB63.ps.

Modelling Correctness Petri Nets Verification Techniques Temporal Logic
Fachzeitschrift
Merkliste
10

Performance analysis of Petri net based on moment generating function.
Yang, Xu
Journal of Intelligent & Fuzzy Systems. 2023, Vol. 45 Issue 1, p1131-1139. 9p.

Fachzeitschrift
Merkliste
11

Model-based verification method for solving the parameter uncertainty in the train control system
Cheng, Ruijun ; Zhou, Jin ; Chen, Dewang ; et al.
In Reliability Engineering and System Safety January 2016 145:169-182

Fachzeitschrift
Merkliste
12

Using Unified Enhanced Time Petri Net Models for Cyber-Physical System Development
Letia, T.S. ; Kilyen, A.O.
In IFAC PapersOnLine 2018 51(2):248-253

Fachzeitschrift
Merkliste
13

Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets
S. A. Chernenok ; V. A. Nepomniaschy
Моделирование и анализ информационных систем, Vol 21, Iss 6, Pp 94-106 (2014)

specification translation verification distributed systems communication protocols msc diagrams …
Fachzeitschrift
Merkliste
14

Verifying safety of synchronous fault-tolerant algorithms by bounded model checking.
Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; et al.
International Journal on Software Tools for Technology Transfer. Feb2022, Vol. 24 Issue 1, p33-48. 16p.

ALGORITHMS DISTRIBUTED algorithms PETRI nets FAULT tolerance (Enginee...
Fachzeitschrift
Merkliste
15

Scenario-based system design with colored Petri nets: an application to train control systems.
Wu, Daohua ; Schnieder, Eckehard
Software & Systems Modeling. Feb2018, Vol. 17 Issue 1, p295-317. 23p.

PETRI nets IEEE 802 standard ALGORITHMS CONCURRENT engineering RAPID prototyping
Fachzeitschrift
Merkliste
16

Formal modeling of a causal consistent distributed system and verification of its history via model checking using colored Petri net.
Alsaegg, Khalid Amjed Mohammed ; Pashazadeh, Saeid ; Zolfy Lighvan, Mina
PeerJ Computer Science; Jul2025, p1-35, 35p

CONSISTENCY models (Comp... PETRI nets SOFTWARE validation DISTRIBUTED computing VERIFICATION of computer... APPLIED sciences …
Fachzeitschrift
Merkliste
17

Verifying fault tolerance of distributed algorithms formally-an example
Volzer, H.
Proceedings 1998 International Conference on Application of Concurrency to System Design Application of concurrency to system design Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on. :187-197 1998

Konferenz
Merkliste
18

Reductions and abstractions for formal verification of distributed round-based algorithms.
Barbosa, Raul ; Fonseca, Alcides ; Araujo, Filipe
Software Quality Journal; Sep2021, Vol. 29 Issue 3, p705-731, 27p

MAGNITUDE (Mathematics) PETRI nets ALGORITHMS DISTRIBUTED algorithms SYMMETRY
Fachzeitschrift
Merkliste
19

Distributed algorithms: modeling and analysis with Petri nets
Reisig, W.
SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218) Systems, man, and cybernetics Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on. 1:38-43 vol.1 1998

Konferenz
Merkliste
20

Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling
Moutinho, F. ; Gomes, L.
IEEE Transactions on Industrial Informatics IEEE Trans. Ind. Inf. Industrial Informatics, IEEE Transactions on. 10(4):2024-2033 Nov, 2014

Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter