Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jingming Wang
Sequence Composition Analysis of Noninterference in Cyber-Physical System With Petri Net
International Journal of Security and its Applications
Computer Science
Related publications
Intrusion Detection in Cyber-Physical Systems Based on Petri Net
Information Technology and Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Fault Diagnosis for Power System Using Time Sequence Fuzzy Petri Net
Petri Net Analysis Using Invariant Generation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mobile Cyber-Physical System
Mobile Information Systems
Computer Networks
Computer Science Applications
Communications
Petri Net Synthesis
Texts in Theoretical Computer Science. An EATCS Series
Dangerous Driving Event Analysis System by a Cascaded Fuzzy Reasoning Petri Net
Research on Mapping UML to Petri-Net in System Modeling
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
Toward Automatic Analyzing Statechart With Petri Net
Information Technology Journal
Embedding an Arbitrary 1-Safe Petri Net Into a Boolean Petri Net
International Journal of Computer Applications