7 search results - page 1 / 2 » Petri Nets and Manufacturing Systems: An Examples-Driven Tou... |
AC
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
SIMPRA
2008
13 years 3 months ago
2008
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...
JACIII
2007
13 years 4 months ago
2007
CPE
2000
Springer
13 years 8 months ago
2000
Springer
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...
APIN
2005
13 years 4 months ago
2005
This paper presents an extension of Petri net framework with imprecise temporal properties. We use possibility theory to represent imprecise time by time-stamping tokens and assig...