Model checking of time Petri nets

This paper considers time Petri nets (TPN model) for model checking. The main challenge in model checking techniques is to construct, with lesser resources (time and space), a much coarser abstraction preserving properties of interest. These properties can be verified using standard model checking techniques. In this paper, we review some techniques, proposed in the literature, to model check untimed and timed properties of the TPN.

Content

Author and article information

Contributors

Hanifa Boucheneb

Rachid Hadjidj

Conference

Publication date: May 2007

Publication date (Print): May 2007

Pages: 1-5

Affiliations

[0001]Department of Computer Engineering

École Polytechnique de Montréal

P.O. Box 6079, Station Centre-ville

Montréal, Québec

Article

DOI: 10.14236/ewic/VECOS2007.2

SO-VID: e5d4b88d-ff72-4db1-ac8d-dddf09e38902

Copyright © © Hanifa Boucheneb et al. Published by BCS Learning and Development Ltd. First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007), Algiers, Algeria

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007)

Conference acronym: VECOS

Conference number: 1

Conference location: Algiers, Algeria

Conference date: 5-6 May 2007

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Verification and Evaluation of Computer and Communication Systems

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/VECOS2007.2

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

Model checking of time Petri nets

Abstract