Development of software tool for safety checking by generating coverability tree using Petri nets

Md Tamjidul Hoque; Mohammad Towhidul Hoque

Development of software tool for safety checking by generating coverability tree using Petri nets

Md Tamjidul Hoque, Mohammad Towhidul Hoque

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Original language	English
Title of host publication	Proceedings of 8th International Conference on Computer and Information Technology
Editors	Abdul Mottalib
Place of Publication	Gazipur Bangladesh
Publisher	Islamic University of Technology (IUT)
Pages	1004 - 1009
Number of pages	6
ISBN (Print)	9843228731
Publication status	Published - 2005
Event	International Conference on Computer and Information Technology 2005 - Gazipur, Bangladesh Duration: 28 Dec 2005 → 30 Dec 2005 Conference number: 8th

Conference

Conference	International Conference on Computer and Information Technology 2005
Abbreviated title	ICCIT 2005
Country/Territory	Bangladesh
City	Gazipur
Period	28/12/05 → 30/12/05

Cite this

@inproceedings{3ee19db6e89b40c6906b790abf646f3b,

title = "Development of software tool for safety checking by generating coverability tree using Petri nets",

author = "Hoque, \{Md Tamjidul\} and Hoque, \{Mohammad Towhidul\}",

year = "2005",

language = "English",

isbn = "9843228731",

pages = "1004 -- 1009",

editor = "Abdul Mottalib",

booktitle = "Proceedings of 8th International Conference on Computer and Information Technology",

publisher = "Islamic University of Technology (IUT)",

note = "International Conference on Computer and Information Technology 2005, ICCIT 2005 ; Conference date: 28-12-2005 Through 30-12-2005",

}

Hoque, MT & Hoque, MT 2005, Development of software tool for safety checking by generating coverability tree using Petri nets. in A Mottalib (ed.), Proceedings of 8th International Conference on Computer and Information Technology. Islamic University of Technology (IUT), Gazipur Bangladesh, pp. 1004 - 1009, International Conference on Computer and Information Technology 2005, Gazipur, Bangladesh, 28/12/05.

Development of software tool for safety checking by generating coverability tree using Petri nets. / Hoque, Md Tamjidul; Hoque, Mohammad Towhidul.
Proceedings of 8th International Conference on Computer and Information Technology. ed. / Abdul Mottalib. Gazipur Bangladesh: Islamic University of Technology (IUT), 2005. p. 1004 - 1009.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - Development of software tool for safety checking by generating coverability tree using Petri nets

AU - Hoque, Md Tamjidul

AU - Hoque, Mohammad Towhidul

N1 - Conference code: 8th

PY - 2005

Y1 - 2005

M3 - Conference Paper

SN - 9843228731

SP - 1004

EP - 1009

BT - Proceedings of 8th International Conference on Computer and Information Technology

A2 - Mottalib, Abdul

PB - Islamic University of Technology (IUT)

CY - Gazipur Bangladesh

T2 - International Conference on Computer and Information Technology 2005

Y2 - 28 December 2005 through 30 December 2005

ER -