Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication (Q57831229)
Jump to navigation
Jump to search
scientific article published in 2009
Language | Label | Description | Also known as |
---|---|---|---|
English | Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication |
scientific article published in 2009 |
Statements
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication (English)
0 references
2009
0 references
63-82
0 references
1 reference
1 reference