1014 search results - page 160 / 203 » ''What Is a Petri Net |
99
Voted
EPEW
2008
Springer
15 years 2 months ago
2008
Springer
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...
109
Voted
FORMATS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
104
Voted
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
APCCM
2007
15 years 2 months ago
2007
A business process may be modeled in different ways by different modelers even when utilizing the same modeling language. An appropriate method for solving ambiguity issues in p...
109
Voted
CDES
2007
15 years 2 months ago
2007
- Computer component fabrication is approaching physical limits of traditional photolithographic fabrication techniques. An alternative computer architecture may be enabled by the ...