A pragmatic behavior subtyping relation based on both states and actions (Q5959362)
From MaRDI portal
scientific article; zbMATH DE number 1723833
Language | Label | Description | Also known as |
---|---|---|---|
English | A pragmatic behavior subtyping relation based on both states and actions |
scientific article; zbMATH DE number 1723833 |
Statements
A pragmatic behavior subtyping relation based on both states and actions (English)
0 references
14 May 2003
0 references
Petri net systems
0 references