1992
DOI: 10.1007/3-540-55676-1_10
|View full text |Cite
|
Sign up to set email alerts
|

Obtaining deadlock-preserving skeletons for coloured nets

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2

Citation Types

0
4
0

Year Published

2021
2021
2021
2021

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(4 citation statements)
references
References 7 publications
0
4
0
Order By: Relevance
“…The idea of a skeleton-based analysis of a Petri net is subject of [Vau87]. Based on this, [Fin92] examines the role of deadlocks within this topic more precisely. The results are also applied in other contexts.…”
Section: Related Workmentioning
confidence: 99%
See 3 more Smart Citations
“…The idea of a skeleton-based analysis of a Petri net is subject of [Vau87]. Based on this, [Fin92] examines the role of deadlocks within this topic more precisely. The results are also applied in other contexts.…”
Section: Related Workmentioning
confidence: 99%
“…With the skeleton of a Pr/T-Net, properties like reachability of states or deadlock freeness can be examined. [Lil95] transfers Findlow's results [Fin92] to algebraic nets. They are used as an application for a folding construction, which is described there.…”
Section: Related Workmentioning
confidence: 99%
See 2 more Smart Citations