Applications to Nets
This chapter is devoted to applications of the tableau system, demonstrating some of the techniques that can be used to build tableaux for systems, and showing how the arithmetical nature of Petri nets allows attractive arithmetical reasoning about tableaux.
KeywordsSafety Property Slot Machine Atomic Proposition Liveness Property Coverability Graph
Unable to display preview. Download preview PDF.