| dc.contributor.author | Hack, Michel Henri Théodore | en_US |
| dc.date.accessioned | 2023-03-29T14:59:56Z | |
| dc.date.available | 2023-03-29T14:59:56Z | |
| dc.date.issued | 1976-03 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149453 | |
| dc.description.abstract | In a labeled Petri Net we assign symbols from an alphabet to some or all the transitions of a Petri Net. To each firing sequence of such a Labeled Petri Net corresponds to a string over the alphabet. We study the languages obtained in this way by all firing sequences of a Petri Net, or by all firing sequences which reach a given final marking. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-159 | |
| dc.relation.ispartofseries | MIT-TR-159 | |
| dc.title | Petri Net Language | en_US |
| dc.identifier.oclc | 02362577 | |
