454 search results - page 65 / 91 » Modeling and analysis of multi-agent systems using petri net... |
79
Voted
FORMATS
2008
Springer
14 years 11 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...
89
Voted
CAISE
2001
Springer
15 years 2 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
77
Voted
IANDC
2006
14 years 9 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
KDD
1995
ACM
15 years 1 months ago
1995
ACM
The main objective of machine discovery is the determination of relations between data and of data models. In the paper we describe a method for discovery of data models represent...
APN
2007
Springer
15 years 3 months ago
2007
Springer
This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Proc...