New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets

Journal article

Peer reviewed

Shouguang Wang, Dan You and Mengchu Zhou

Science China. Information sciences, Vol.61(12)

01/12/2018

Abstract

Computer Science

Information Systems and Communication Service

Letter

1 Record Views

Title: New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets
Creators - without role: Shouguang Wang - Zhejiang Gongshang University
Dan You - Zhejiang Gongshang University
Mengchu Zhou - New Jersey Institute of Technology
Publication Details: Science China. Information sciences, Vol.61(12)
Publisher: Science China Press
Identifiers: 9936809908331
Academic Unit: King Abdulaziz University
Language: English
Resource Type: Journal article