The Complexity of Problems Related to Petri Nets
{'Code': '05010100', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'name not available', 'PO_EMAI': None, 'PO_PHON': None}
This research is aimed at determining the complexity of various                 analysis problems for Petri Nets.  The problems considered include the          boundedness problem, the containment problem, the equivalence problem,          various fairness problems, the liveness problem, and the reachability           problem.  Also considered are problems about verification questions             that can be expressed via various temporal logics.  The problems are            considered with respect to several subclasses of Petri Nets in addition         to the general case.
{'FirstName': 'Louis', 'LastName': 'Rosier', 'PI_MID_INIT': 'E', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Louis E Rosier', 'EmailAddress': None, 'NSF_ID': '000319900', 'StartDate': '11/01/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Texas at Austin', 'CityName': 'AUSTIN', 'ZipCode': '787121139', 'PhoneNumber': '5124716424', 'StreetAddress': '110 INNER CAMPUS DR', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Texas', 'StateCode': 'TX', 'CONGRESSDISTRICT': '25', 'CONGRESS_DISTRICT_ORG': 'TX25', 'ORG_UEI_NUM': 'V6AFQPN18437', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF TEXAS AT AUSTIN', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
[{'Code': '286000', 'Text': 'THEORY OF COMPUTING'}, {'Code': '286500', 'Text': 'NUMERIC, SYMBOLIC & GEO COMPUT'}, {'Code': '288000', 'Text': 'SOFTWARE ENGINEERING AND LANGU'}, {'Code': '289000', 'Text': 'CISE Research Resources'}, {'Code': '471500', 'Text': 'COMPUTER SYSTEMS ARCHITECTURE'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8711579.xml'}