Consistent timed semantics for nested Petri nets with restricted urgency (Q4603553)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6839687
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Consistent timed semantics for nested Petri nets with restricted urgency |
scientific article; zbMATH DE number 6839687 |
Statements
Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency (English)
0 references
16 February 2018
0 references
nested Petri nets
0 references
time Petri nets
0 references
well structured transition systems
0 references
time semantics
0 references
0.7489995956420898
0 references
0.7469359636306763
0 references
0.746837317943573
0 references
