[图书][B] Modeling in systems biology: the Petri net approach
The emerging, multi-disciplinary field of systems biology is devoted to the study of the
relationships between various parts of a biological system, and computer modeling plays a …
relationships between various parts of a biological system, and computer modeling plays a …
SNAKES: A flexible high-level petri nets library (tool paper)
F Pommereau - Application and Theory of Petri Nets and Concurrency …, 2015 - Springer
SNAKES (SNAKES is the Net Algebra Kit for Editors and Simulators) is a general purpose
Petri nets library, primarily for the Python programming language but portable to other ones …
Petri nets library, primarily for the Python programming language but portable to other ones …
Data-driven performance analysis of scheduled processes
The performance of scheduled business processes is of central importance for services and
manufacturing systems. However, current techniques for performance analysis do not take …
manufacturing systems. However, current techniques for performance analysis do not take …
[图书][B] Algebras of coloured Petri nets
F Pommereau - 2010 - hal.science
Formal specifications are now widely used for modelling systems and reasoning about them.
In particular, automated analysis through model-checking [28] is a successful approach that …
In particular, automated analysis through model-checking [28] is a successful approach that …
Timed coloured petri net simulation model for reinforcement learning in the context of production systems
This paper shows that Petri net simulation models are a suitable basis for using
Reinforcement Learning to generate a supervisory control unit in industrial production …
Reinforcement Learning to generate a supervisory control unit in industrial production …
OPENET: Ontology-based engine for high-level Petri nets
In this paper, OPENET, an engine for the execution of high-level Petri nets (HLPNs) is
presented. OPENET is based on an ontology that represents the knowledge of the ISO/IEC …
presented. OPENET is based on an ontology that represents the knowledge of the ISO/IEC …
Verification of cloud system elasticity using BigMC
Elasticity is one of the important characteristics of cloud computing used to manage the
fluctuating real time workload in the cloud environment. Cloud providers use this approach …
fluctuating real time workload in the cloud environment. Cloud providers use this approach …
Modelling, verification, and formal analysis of security properties in a P2P system
SB Sanjabi, F Pommereau - 2010 International Symposium on …, 2010 - ieeexplore.ieee.org
We present a security analysis of the SPREADS system, a distributed storage service based
on a centralized peer-to-peer architecture. We formally modelled the salient behavior of the …
on a centralized peer-to-peer architecture. We formally modelled the salient behavior of the …
A BSP algorithm for on-the-fly checking CTL* formulas on security protocols
This paper presents a distributed (Bulk-Synchronous Parallel or bsp) algorithm to compute
on-the-fly whether a structured model of a security protocol satisfies a ctl^*∗ formula. Using …
on-the-fly whether a structured model of a security protocol satisfies a ctl^*∗ formula. Using …
A modular, qualitative modeling of regulatory networks using Petri nets
C Chaouiya, H Klaudel, F Pommereau - … in Systems Biology: The Petri Net …, 2011 - Springer
Advances in high-throughput technologies have enabled the delineation of large networks
of interactions that control cellular processes. To understand behavioral properties of these …
of interactions that control cellular processes. To understand behavioral properties of these …