Dealing with complex systems often needs the building of huge reachability graphs, thus
revealing all the challenges associated with big data access and management. It also …

MARCIE is a Petri net analysis tool supporting qualitative and quantitative analyses
including model checking facilities. Particular features are symbolic state space analysis …

CosyVerif aims at gathering within a common framework various existing tools for
specification and verification. It has been designed in order to 1) support different formalisms …

A Wireless Sensor Network (WSN), made of distributed autonomous nodes, is designed to
monitor physical or environmental conditions. WSNs have many application domains such …

Over the past two decades, numerous verification tools have been successfully used for
verifying complex concurrent systems, modelled using various formalisms. However, it is still …

We introduce neco-spot, an LTL model checker for Petri net models. It builds upon Neco, a
compiler turning Petri nets into native shared libraries that allows fast on-the-fly exploration …

This paper presents Neco that is a Petri net compiler: it takes a Petri net as its input and
produces as its output an optimised library to e ciently explore the state space of this Petri …

This document presents the results of the Model Checking Contest held at Petri Nets 2013 in
Milano. This contest aimed at a fair and experimental evaluation of the performances of …

Abstract A Wireless Sensor Network (WSN), made of distributed autonomous nodes, is
designed to monitor physical or environmental conditions. WSNs have many application …

This paper presents an algebra of coloured Petri nets called the Asynchronous Box Calculus
with Data, or abcd for short. abcd allows to model complex systems using a user-friendly and …