Model Checking of Time Petri Nets
Year: 2008
Type: book-chapter
Abstract: In this chapter, we presented and discussed model checking techniques of time Petri nets. We pointed out some strategies which allow to make model checking techniques more efficient. For model checking LTL properties, we proposed a contraction for the state class
DOI: 10.5772/5318
Authors: Hanifa Boucheneb, Rachid Hadjidj
Institution: Polytechnique Montréal
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold
OpenAlex ID: W2122378552