Search Sciweavers | Sciweavers

22

FUIN
2010

172views more FUIN 2010»

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

13 years 5 months ago

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 »

29

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 12 days ago

Download parsys.informatik.uni-oldenburg.de

We prove that plain, bounded, reversible and persistent Petri nets are weakly and strongly separable.

Eike Best, Philippe Darondeau

claim paper

Read More »

23

click to vote

APN
2001
Springer

89views Artificial Intelligence» more APN 2001»

''What Is a Petri Net?''

14 years 3 days ago

Download www.inf.ed.ac.uk

The increasing number of Petri net variants naturally leads to the question whether the term “Petri net” is more than a common name for very diﬀerent concepts. This contribut...

Jörg Desel, Gabriel Juhás

claim paper

Read More »

18

click to vote

MCS
2006
Springer

102views Pattern Recognition» more MCS 2006»

Modelling of an interactive system with an agent-based architecture using Petri nets, application of the method to the supervisi

13 years 7 months ago