Abstract Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have
been used in a wide range of application areas such as communication protocols, software …

The extensive usage of clever strategies fascinates numerous considerations on the
innovation intended for mobile payment method in the background of cloud computing …

The widespread use of smart devices attracts much attention on the research for a mobile
payment protocol in the context of the Internet of Things (IoT). However, payment trust and …

The correct operation of communication and co-operation protocols, including signalling
systems in various networks, is essential for the reliability of the many distributed systems …

The recently developed sweep-line method exploits progress present in many concurrent
systems to explore the full state space of the system while storing only small fragments of the …

Abstract Coloured Petri Nets (CPNs) are a graphically oriented modelling language for
concurrent systems based on Petri Nets and the functional programming language Standard …

Communication protocols constitute central building blocks in most modern IT systems as
they define components, rules, and languages that make data communication possible. The …

The sweep-line method exploits intrinsic progress in concurrent systems to alleviate the
state explosion problem in explicit state model checking. The concept of progress makes it …

The sweep-line method deletes states on-the-fly during state space exploration to reduce
peak memory usage. This deletion of states prohibits the immediate generation of, eg, an …

State-space exploration is one of the main approaches to computer-aided verification and
analysis of finite-state systems. It is used to reason about a wide range of properties during …