ARTICLES

Filter  
Active filters 0
Remove
  

Refine your searches by:

Collections
Biology
Agronomy and forestry
Education
Research
Technology
Environment
Zoology
Social Sciences
Literature
Veterinary
all records (73)

Languages
English
Portuguese
Spanish
German
Finnish
French

Countries
Indonesia
Brazil
USA
Italy
Ukraine
Romania
Slovenia
South Africa
Mexico
Denmark
all records (72)

Years
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
all records (24)

Filter  
 
3.368  Articles
1 of 338 pages  |  10  records  |  more records»
This paper addresses the problem of modeling input data classes of the input data dictionary (IDD) file of the Building energy simulation program EnergyPlus. Our endeavor is to provide an easy way for elaborating a behavior specifications of an interactiv... see more

In this paper, we consider the problem of developing a model for traffic signal control with transit priority using Hierarchical Colored Petri nets (HCPN). Petri nets (PN) are useful for state analysis of discrete event systems due to their powerful model... see more

Dependency relationships play an important role in testing, maintenance and configuration management of software systems. The informal dependency representations fail to observe behavioral connections among subsystems and cause ambiguity in representing d... see more

We propose Colored Petri Net (CPN) models for replicated and centralized database systems and conduct a comparative study of their performance. The designed CPN models capture the dynamics of the studied database systems and estimate their expected perfor... see more

This paper presents a conceptual model for an Intelligent System built to support the scheduling for an underground mine in order to supervise its operation. The system is composed by a Simulation Model linked to a Knowledge Based System designed by means... see more

The automation task of evaluating the functional characteristics of IP-networks with dynamic routing based on RIP protocol is solved for thedesigning networks process. A method of reenterable model construction is proposed, this method provides reuse of m... see more

Pre-hospital emergency care service is a major gateway to the Accident and Emergency Department that determines the rate of quality emergency service in hospitals. In this paper, Timed Coloured Petri Nets (TCPN) formalism is employed to model a pre-hospit... see more

Nowadays, quality Mathematical basis - Informatics is an inherent part of study. Mathematical basis is provided by Discrete Mathematics that is taught as a compulsory subject in stated study program in the Department of Mathematics. Authors clarify signif... see more

In order to capture the compartmentation and behaviour of membrane systems for modelling of parallel computing, we introduce the descriptive dynamic rewriting Descriptive Membrane Timed Petri Nets (DM-nets) that can at in run-time modify their own structu... see more

1 of 338 pages  |  10  records  |  more records»