Sciweavers

1014 search results - page 29 / 203
» ''What Is a Petri Net
Sort
View
WSC
2007
13 years 10 months ago
Semantics of petri nets: a comparison
In this paper, we investigate results on relationship between different semantics of place/transition Petri nets based on labelled partial orders. We also discuss relationships be...
Gabriel Juhás, Fedor Lehocki, Robert Lorenz
CPE
2000
Springer
369views Hardware» more  CPE 2000»
13 years 12 months ago
Petri Net Modelling and Performability Evaluation with TimeNET 3.0
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...
Armin Zimmermann, Jörn Freiheit, Reinhard Ger...
APN
2006
Springer
13 years 11 months ago
Non-sequential Behaviour of Dynamic Nets
Dynamic nets are an extension of Petri nets where the net topology may change dynamically. This is achieved by allowing (i) tokens to be coloured with place names (carried on as da...
Roberto Bruni, Hernán C. Melgratti
CONCUR
2005
Springer
14 years 1 months ago
The Individual and Collective Token Interpretations of Petri Nets
Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I pro...
Rob J. van Glabbeek
IEEEARES
2006
IEEE
14 years 1 months ago
Diagnosis of Complex Systems Using Ant Colony Decision Petri Nets
Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A classic...
Calin Ciufudean, Adrian Graur, Constantin Filote, ...