Distributed computation of vector clocks in Petri net unfoldings for test selection

DOI10.1007/S10626-020-00310-4zbMath1448.93183OpenAlexW3011395036MaRDI QIDQ2197589

Agnes Madalinski, Loïg Jezequel, Stefan Schwoon

Publication date: 1 September 2020

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-020-00310-4

zbMATH Keywords

concurrent systemsPetri netsdiscrete timetest generationdistributed models

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unfoldings: A partial-order approach to model checking.
• Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue
• Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings
• Time, clocks, and the ordering of events in a distributed system
• Foundations of Software Science and Computation Structures

This page was built for publication: Distributed computation of vector clocks in Petri net unfoldings for test selection