AutoNet: Meta-model for Seamless Integration of Timed Automata and Colored Petri Nets

Muhammad Waqas Ahmad; Muhammad Waseem Anwar; Farooque Azam; Yawar Rasheed; Usman Ghani; Mukhtar Ahmad

doi:10.1007/978-3-030-47679-3_26

AutoNet: Meta-model for Seamless Integration of Timed Automata and Colored Petri Nets

Muhammad Waqas Ahmad^*
, Muhammad Waseem Anwar
, Farooque Azam
, Yawar Rasheed
, Usman Ghani
, Mukhtar Ahmad

^*Corresponding author for this work

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

4 Citations (Scopus)

Abstract

Time dependent modeling paradigm has always remained the focus of study for embedded system designers. The reason behind this rationale is that the safety and reliability of real time systems mainly depend on how precisely and accurately the time domain is modeled. Several time-driven models have been proposed and attained the level of maturity through series of developments. The most adopted formal methods are 1) Timed Automata which extends the finite states with finite number of real valued clocks, and 2) Colored Petri net which extends finite set of directed graphs with finite number of tokens coupled with color. In this paper, we proposed a Meta model (named as AutoNet) aimed at integration of timed automata and colored petri net. The main purpose of AutoNet is the transformation i.e. a single design with basic classes and state transition diagrams can be transformed to both timed automata and colored petri net. We performed case study to show proof of our concept prototype at traffic light signal modeling. A single iteration through the AutoNet produced both the timed automata and colored petri net of our test case, which is the validation of our design. AutoNet will serve as an automated ‘what you see is what you get’ (WYSIWYG) tool for embedded system engineers.

Original language	English
Title of host publication	Computer Information Systems and Industrial Management
Subtitle of host publication	19th International Conference, CISIM 2020, Bialystok, Poland, October 16–18, 2020, Proceedings
Editors	Khalid Saeed, Jirí Dvorský
Place of Publication	Cham
Publisher	Springer Spektrum
Pages	307-319
Number of pages	13
Edition	1
ISBN (Electronic)	978-3-030-47679-3
ISBN (Print)	978-3-030-47678-6
DOIs	https://doi.org/10.1007/978-3-030-47679-3_26
Publication status	Published - May 2020
Externally published	Yes
Event	19th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2020 - Bialystok, Poland Duration: 16 Oct 2020 → 18 Oct 2020 Conference number: 19

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12133 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	19th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2020
Abbreviated title	CISIM 2020
Country/Territory	Poland
City	Bialystok
Period	16/10/20 → 18/10/20

Keywords

n/a OA procedure
Meta model
Time domain
Timed automata
Colored Petri net

Access to Document

10.1007/978-3-030-47679-3_26

Cite this

Ahmad, M. W., Anwar, M. W., Azam, F., Rasheed, Y., Ghani, U., & Ahmad, M. (2020). AutoNet: Meta-model for Seamless Integration of Timed Automata and Colored Petri Nets. In K. Saeed, & J. Dvorský (Eds.), Computer Information Systems and Industrial Management: 19th International Conference, CISIM 2020, Bialystok, Poland, October 16–18, 2020, Proceedings (1 ed., pp. 307-319). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12133 LNCS). Springer Spektrum. https://doi.org/10.1007/978-3-030-47679-3_26

Ahmad, Muhammad Waqas ; Anwar, Muhammad Waseem ; Azam, Farooque et al. / AutoNet : Meta-model for Seamless Integration of Timed Automata and Colored Petri Nets. Computer Information Systems and Industrial Management: 19th International Conference, CISIM 2020, Bialystok, Poland, October 16–18, 2020, Proceedings. editor / Khalid Saeed ; Jirí Dvorský. 1. ed. Cham : Springer Spektrum, 2020. pp. 307-319 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{27002fb7b013453eb3ff413d0d3f31d2,

title = "AutoNet: Meta-model for Seamless Integration of Timed Automata and Colored Petri Nets",

abstract = "Time dependent modeling paradigm has always remained the focus of study for embedded system designers. The reason behind this rationale is that the safety and reliability of real time systems mainly depend on how precisely and accurately the time domain is modeled. Several time-driven models have been proposed and attained the level of maturity through series of developments. The most adopted formal methods are 1) Timed Automata which extends the finite states with finite number of real valued clocks, and 2) Colored Petri net which extends finite set of directed graphs with finite number of tokens coupled with color. In this paper, we proposed a Meta model (named as AutoNet) aimed at integration of timed automata and colored petri net. The main purpose of AutoNet is the transformation i.e. a single design with basic classes and state transition diagrams can be transformed to both timed automata and colored petri net. We performed case study to show proof of our concept prototype at traffic light signal modeling. A single iteration through the AutoNet produced both the timed automata and colored petri net of our test case, which is the validation of our design. AutoNet will serve as an automated {\textquoteleft}what you see is what you get{\textquoteright} (WYSIWYG) tool for embedded system engineers.",

keywords = "n/a OA procedure, Meta model, Time domain, Timed automata, Colored Petri net",

author = "Ahmad, \{Muhammad Waqas\} and Anwar, \{Muhammad Waseem\} and Farooque Azam and Yawar Rasheed and Usman Ghani and Mukhtar Ahmad",

note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG.; 19th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2020, CISIM 2020 ; Conference date: 16-10-2020 Through 18-10-2020",

year = "2020",

month = may,

doi = "10.1007/978-3-030-47679-3\_26",

language = "English",

isbn = "978-3-030-47678-6",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Spektrum",

pages = "307--319",

editor = "Khalid Saeed and Jir{\'i} Dvorsk{\'y}",

booktitle = "Computer Information Systems and Industrial Management",

address = "Germany",

edition = "1",

}

Ahmad, MW, Anwar, MW, Azam, F, Rasheed, Y, Ghani, U & Ahmad, M 2020, AutoNet: Meta-model for Seamless Integration of Timed Automata and Colored Petri Nets. in K Saeed & J Dvorský (eds), Computer Information Systems and Industrial Management: 19th International Conference, CISIM 2020, Bialystok, Poland, October 16–18, 2020, Proceedings. 1 edn, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12133 LNCS, Springer Spektrum, Cham, pp. 307-319, 19th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2020, Bialystok, Poland, 16/10/20. https://doi.org/10.1007/978-3-030-47679-3_26

AutoNet: Meta-model for Seamless Integration of Timed Automata and Colored Petri Nets. / Ahmad, Muhammad Waqas; Anwar, Muhammad Waseem; Azam, Farooque et al.
Computer Information Systems and Industrial Management: 19th International Conference, CISIM 2020, Bialystok, Poland, October 16–18, 2020, Proceedings. ed. / Khalid Saeed; Jirí Dvorský. 1. ed. Cham: Springer Spektrum, 2020. p. 307-319 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12133 LNCS).

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

TY - GEN

T1 - AutoNet

T2 - 19th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2020

AU - Ahmad, Muhammad Waqas

AU - Anwar, Muhammad Waseem

AU - Azam, Farooque

AU - Rasheed, Yawar

AU - Ghani, Usman

AU - Ahmad, Mukhtar

N1 - Conference code: 19

PY - 2020/5

Y1 - 2020/5

N2 - Time dependent modeling paradigm has always remained the focus of study for embedded system designers. The reason behind this rationale is that the safety and reliability of real time systems mainly depend on how precisely and accurately the time domain is modeled. Several time-driven models have been proposed and attained the level of maturity through series of developments. The most adopted formal methods are 1) Timed Automata which extends the finite states with finite number of real valued clocks, and 2) Colored Petri net which extends finite set of directed graphs with finite number of tokens coupled with color. In this paper, we proposed a Meta model (named as AutoNet) aimed at integration of timed automata and colored petri net. The main purpose of AutoNet is the transformation i.e. a single design with basic classes and state transition diagrams can be transformed to both timed automata and colored petri net. We performed case study to show proof of our concept prototype at traffic light signal modeling. A single iteration through the AutoNet produced both the timed automata and colored petri net of our test case, which is the validation of our design. AutoNet will serve as an automated ‘what you see is what you get’ (WYSIWYG) tool for embedded system engineers.

AB - Time dependent modeling paradigm has always remained the focus of study for embedded system designers. The reason behind this rationale is that the safety and reliability of real time systems mainly depend on how precisely and accurately the time domain is modeled. Several time-driven models have been proposed and attained the level of maturity through series of developments. The most adopted formal methods are 1) Timed Automata which extends the finite states with finite number of real valued clocks, and 2) Colored Petri net which extends finite set of directed graphs with finite number of tokens coupled with color. In this paper, we proposed a Meta model (named as AutoNet) aimed at integration of timed automata and colored petri net. The main purpose of AutoNet is the transformation i.e. a single design with basic classes and state transition diagrams can be transformed to both timed automata and colored petri net. We performed case study to show proof of our concept prototype at traffic light signal modeling. A single iteration through the AutoNet produced both the timed automata and colored petri net of our test case, which is the validation of our design. AutoNet will serve as an automated ‘what you see is what you get’ (WYSIWYG) tool for embedded system engineers.

KW - n/a OA procedure

KW - Meta model

KW - Time domain

KW - Timed automata

KW - Colored Petri net

UR - https://www.scopus.com/pages/publications/85086138901

U2 - 10.1007/978-3-030-47679-3_26

DO - 10.1007/978-3-030-47679-3_26

M3 - Conference contribution

AN - SCOPUS:85086138901

SN - 978-3-030-47678-6

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 307

EP - 319

BT - Computer Information Systems and Industrial Management

A2 - Saeed, Khalid

A2 - Dvorský, Jirí

PB - Springer Spektrum

CY - Cham

Y2 - 16 October 2020 through 18 October 2020

ER -

Ahmad MW, Anwar MW, Azam F, Rasheed Y, Ghani U, Ahmad M. AutoNet: Meta-model for Seamless Integration of Timed Automata and Colored Petri Nets. In Saeed K, Dvorský J, editors, Computer Information Systems and Industrial Management: 19th International Conference, CISIM 2020, Bialystok, Poland, October 16–18, 2020, Proceedings. 1 ed. Cham: Springer Spektrum. 2020. p. 307-319. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Epub 2020 May 22. doi: 10.1007/978-3-030-47679-3_26

AutoNet: Meta-model for Seamless Integration of Timed Automata and Colored Petri Nets

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this