The Logic of Systems
We present a theory about the logical relationships associated with system behavior. The rules governing the behavior of a system are expressed by a Petri net. A set of assumptions about the modeling of a system permit us to separate system behavior into two components, what we refer to as informa...
Main Author: | |
---|---|
Other Authors: | |
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/149464 |
_version_ | 1826198531273129984 |
---|---|
author | Furtek, Frederick Curtis |
author2 | Patil, Suhas Shrikrishna |
author_facet | Patil, Suhas Shrikrishna Furtek, Frederick Curtis |
author_sort | Furtek, Frederick Curtis |
collection | MIT |
description | We present a theory about the logical relationships associated with system behavior. The rules governing the behavior of a system are expressed by a Petri net. A set of assumptions about the modeling of a system permit us to separate system behavior into two components, what we refer to as information and control. |
first_indexed | 2024-09-23T11:06:19Z |
id | mit-1721.1/149464 |
institution | Massachusetts Institute of Technology |
last_indexed | 2024-09-23T11:06:19Z |
publishDate | 2023 |
record_format | dspace |
spelling | mit-1721.1/1494642023-03-30T03:56:13Z The Logic of Systems Furtek, Frederick Curtis Patil, Suhas Shrikrishna We present a theory about the logical relationships associated with system behavior. The rules governing the behavior of a system are expressed by a Petri net. A set of assumptions about the modeling of a system permit us to separate system behavior into two components, what we refer to as information and control. 2023-03-29T15:00:43Z 2023-03-29T15:00:43Z 1976-12 https://hdl.handle.net/1721.1/149464 03176544 MIT-LCS-TR-170 application/pdf |
spellingShingle | Furtek, Frederick Curtis The Logic of Systems |
title | The Logic of Systems |
title_full | The Logic of Systems |
title_fullStr | The Logic of Systems |
title_full_unstemmed | The Logic of Systems |
title_short | The Logic of Systems |
title_sort | logic of systems |
url | https://hdl.handle.net/1721.1/149464 |
work_keys_str_mv | AT furtekfrederickcurtis thelogicofsystems AT furtekfrederickcurtis logicofsystems |