941 search results - page 22 / 189 » History-Dependent Petri Nets |
IJKBO
2011
14 years 3 months ago
2011
107
click to vote
PNPM
1987
15 years 3 months ago
1987
Some insight on the meaning of "modeling power" for Stochastic Petri Net models is given. Extensions characterizing a Stochastic Petri Net are categorized as logical or ...
106
click to vote
APN
2008
Springer
15 years 1 months ago
2008
Springer
This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events ar...
ACTA
2007
14 years 12 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...