231 search results - page 1 / 47 » Time Recursive Petri Nets |
83
Voted
TOPNOC
2008
14 years 10 months ago
2008
Recursive Petri Nets (RPNs) allow to design and analyze complex discrete event systems. Indeed, RPNs enable to model patterns of discrete event systems related to the dynamic struc...
92
Voted
ACTA
2007
14 years 10 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...
96
Voted
ICFEM
2009
Springer
14 years 8 months ago
2009
Springer
Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the descri...
111
Voted
LICS
2012
IEEE
13 years 20 days ago
2012
IEEE
—We show how to reliably compute fast-growing functions with timed-arc Petri nets and data nets. This construction provides ordinal-recursive lower bounds on the complexity of th...
88
Voted
FBIT
2007
IEEE
15 years 4 months ago
2007
IEEE
The application of Petri nets to analyze and simulate biological pathways has been developed vigorously. Some of the modifications of Petri nets appeared to perform quantitative a...