Search Sciweavers | Sciweavers

22

ISSE
2010

139views Security Privacy» more ISSE 2010»

Coloured Petri net refinement specification and correctness proof with Coq

13 years 2 months ago

In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of thei...

Christine Choppy, Micaela Mayero, Laure Petrucci

claim paper

Read More »

17

click to vote

APN
2006
Springer

108views Artificial Intelligence» more APN 2006»

Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets

13 years 11 months ago

Download www.cert.fr

This paper presents the EXHOST-PIPE software: an extension of PIPE

Olivier Bonnet-Torrés, Patrice Domenech, Ch...

claim paper

Read More »

24

click to vote

FUIN
2010

172views more FUIN 2010»

Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics

13 years 5 months ago

Download home.hib.no

Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...

Michal Knapik, Wojciech Penczek, Maciej Szreter, A...

claim paper

Read More »

31

click to vote

TSMC
2010

217views Artificial Intelligence» more TSMC 2010»

A Novel Colored Fluid Stochastic Petri Net Simulation Model for Reliability Evaluation of Wind/PV/Diesel Small Isolated Power Sy

13 years 2 months ago

Download users.ntua.gr

This paper introduces a new general methodology for the modeling and reliability evaluation of small isolated power systems, which include wind turbines, photovoltaics, and diesel ...

Yiannis A. Katsigiannis, Pavlos S. Georgilakis, Ge...

claim paper

Read More »

16

click to vote

APN
2010
Springer

117views Artificial Intelligence» more APN 2010»

Separability in Persistent Petri Nets

14 years 17 days ago