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...

Full description

Bibliographic Details
Main Author: Furtek, Frederick Curtis
Other Authors: Patil, Suhas Shrikrishna
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