• Suche: Petri Net Based Verification of Distributed Algorithms

Treffer 1 - 20 von 10.295

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

Petri-net based applications for supply chain management: an overview.
Zhang, Xiaoling ; Lu, Qiang ; Wu, Teresa
International Journal of Production Research. Jul2011, Vol. 49 Issue 13, p3939-3961. 23p. 1 Diagram, 5 Charts.

Fachzeitschrift
Merkliste
15

A Petri net-based approach to incremental modelling of flow and resources in service-oriented manufacturing systems.
Popescu, Corina ; Soto, M.Cavia ; Lastra, JoseL. Martinez
International Journal of Production Research. Jan2012, Vol. 50 Issue 2, p325-343. 19p. 1 Color Photograph, 16 Diagrams, 2 Charts.

Fachzeitschrift
Merkliste
16

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
17

An approach to repair Petri net-based process models with choice structures.
Qi, HongDa ; Du, YuYue ; Qi, Liang ; et al.
Enterprise Information Systems. Oct-Nov2018, Vol. 12 Issue 8/9, p1149-1179. 31p.

Fachzeitschrift
Merkliste
18

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
19

A Comparative Analysis of Service Composition Approaches for the Internet of Things.
Retima, Farida ; Benharzallah, Saber
Ingénierie des Systèmes d'Information. Jan2025, Vol. 30 Issue 1, p111-135. 25p.

Fachzeitschrift
Merkliste
20

Investigation of exogenous shocks in complex supply networks – a modular Petri Net approach.
Fridgen, Gilbert ; Stepanek, Christian ; Wolf, Thomas
International Journal of Production Research. Mar2015, Vol. 53 Issue 5, p1387-1408. 22p.

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

Filter