181 search results - page 11 / 37 » Petri Net Based Simulation of Construction Schedules |
IJCSA
2006
13 years 7 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
ECMDAFA
2010
Springer
13 years 11 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
JOT
2010
13 years 6 months ago
2010
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...
HCSE
2010
13 years 6 months ago
2010
Abstract. The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anti...
SERP
2007
13 years 9 months ago
2007
- We previously proposed a Colored Petri Net (CPN) based modeling methodology to model multiagent systems. The methodology creates a component to describe the local behavior for ea...