Open AccessLiveness and Boundedness Preservations of Sharing Synthesis of Petri Net Based Representation for Embedded Systems
Author(s) -
Chuanliang Xia,
Bin Shen,
Hailin Zhang,
YiGui Wang
Publication year - 2018
Publication title -
computer systems science and engineering
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.19
H-Index - 26
ISSN - 0267-6192
DOI - 10.32604/csse.2018.33.345
Subject(s) - liveness , petri net , representation (politics) , computer science , theoretical computer science , state space , space (punctuation) , distributed computing , algebra over a field , mathematics , pure mathematics , operating system , statistics , politics , political science , law