article · Theoretical and Applied Informatics · 2010

Critical resources software and control modeling with finite automata

Cited by 1Abstract and details only

Abstract

There are analogies between modeling the transportation systems with critical resources (CR) and a critical section (CS) problem in operating systems. This article is developing this analogy in the direction of using the finite automata. The article analyses Peterson’s algorithm [4], [5] and Lamport’s algorithm [2] using deterministic finite automata (DFA) as well as it takes into consideration the problem of modeling traffic with binary semaphore using nondeterministic finite automata (NFA). Introduction of finite automata makes traffic control modeling much clearer on programming side and brings hardware application closer to such control.

Cite this paper

APA 7

Schreyer, B., & Kosiński, K. (2010). Critical resources software and control modeling with finite automata. Theoretical and Applied Informatics, 22(3). https://doi.org/10.2478/v10179-010-0006-0

MLA 9

Schreyer, Bogusław, and Krzysztof Kosiński. “Critical resources software and control modeling with finite automata.” Theoretical and Applied Informatics, vol. 22, no. 3, 2010, https://doi.org/10.2478/v10179-010-0006-0.

Chicago

Schreyer, Bogusław, and Krzysztof Kosiński. 2010. “Critical resources software and control modeling with finite automata.” Theoretical and Applied Informatics 22 (3). https://doi.org/10.2478/v10179-010-0006-0.

Harvard

Schreyer, B. and Kosiński, K. (2010) ‘Critical resources software and control modeling with finite automata’, Theoretical and Applied Informatics, 22(3). Available at: https://doi.org/10.2478/v10179-010-0006-0.

BibTeX

@article{schreyer2010critical,
  title = {{Critical resources software and control modeling with finite automata}},
  author = {Schreyer, Bogusław and Kosiński, Krzysztof},
  journal = {Theoretical and Applied Informatics},
  volume = {22},
  number = {3},
  year = {2010},
  doi = {10.2478/v10179-010-0006-0}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.