S-invariant analysis of general recursive Petri boxes (Q1894677)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: S-invariant analysis of general recursive Petri boxes |
scientific article; zbMATH DE number 778291
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | S-invariant analysis of general recursive Petri boxes |
scientific article; zbMATH DE number 778291 |
Statements
S-invariant analysis of general recursive Petri boxes (English)
0 references
24 July 1995
0 references
Petri box calculus
0 references
Petri boxes
0 references
0.8670971
0 references
0.8670971
0 references
0 references
0.86280215
0 references
0.85846883
0 references
0.85344934
0 references
0 references
0.8509327
0 references
0.8497015
0 references
