Failures semantics and deadlocking of modular Petri nets (Q1101233)
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 4047137
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Failures semantics and deadlocking of modular Petri nets |
scientific article; zbMATH DE number 4047137 |
Statements
Failures semantics and deadlocking of modular Petri nets (English)
0 references
1989
0 references
This paper studies the modular construction of Petri nets, where subnets are exchanged such that the behaviour of the whole net remains the same. Subnets and context nets are composed by merging transitions, corresponding to synchronization; but also the connection with new arcs is covered. It is investigated which subnets can be exchanged such that deadlock-freeness and maximal behaviour are preserved, and it is shown that some variations of the failure semantics, which has been developed for TCSP, give characterizations of exchangeable subnets.
0 references
modular construction of Petri nets
0 references
subnets
0 references
context nets
0 references
deadlock
0 references
failures semantics
0 references
TCSP
0 references
theory of communicating sequential processes
0 references
0.8192744851112366
0 references
0.787885308265686
0 references
0.7754452228546143
0 references
0.7656479477882385
0 references
