Computation tree logic of knowledge (CTLK) can be used to specify many properties related
to privacy of multiagent systems (MASs). Our previous work defined knowledge-oriented …

Membrane systems are a very powerful computational modelling formalism inspired by the
internal organisation of living cells. Modelling of membrane systems is challenged by …

Whole-cell modeling aims to incorporate all main genes and processes, and their
interactions of a cell in one model. Whole-cell modeling has been regarded as the central …

In Petri net unfolding, according to the strategies of breadth first and depth first, the biggest
problem lies in the potential explosion of the state space. Unfolding generates either …

Snoopy is a powerful modelling and simulation tool for various types of Petri nets, which
have been applied to a wide range of biochemical reaction networks. We present an …

Colored Petri nets offer a compact and user friendly representation of the traditional P/T nets
and colored nets with finite color ranges can be unfolded into the underlying P/T nets …

We present a Python package called Modular Petri Net Assembly Toolkit (MPAT) that
empowers users to easily create large-scale, modular Petri Nets for various spatial …

We present a methodology for systematically extending epidemic models to multilevel and
multiscale spatio-temporal pandemic ones. Our approach builds on the use of coloured …

The Petri net structure of workflow is used to model, and the moment generating function is
used to analyze the time performance of workflow, and the complexity of analysis is given. It …

Biological systems inherently span multiple levels, which can pose challenges in spatial
representation for modelers. We present a protocol that utilizes colored Petri nets to …