共 50 条
[44]
Software Security Modeling Based On Petri Nets
[J].
JOURNAL OF MATHEMATICS AND COMPUTER SCIENCE-JMCS,
2015, 15 (01)
:70-77
[45]
PNets - the Verification Tool based on Petri Nets
[J].
WORLD CONGRESS ON ENGINEERING - WCE 2013, VOL I,
2013,
:369-373
[46]
Research on workflow patterns based on Petri nets
[J].
2006 IEEE Conference on Robotics, Automation and Mechatronics, Vols 1 and 2,
2006,
:163-168
[47]
Partial Reachability Graph Analysis of Petri Nets for Flexible Manufacturing Systems
[J].
IEEE ACCESS,
2020, 8
:227925-227935
[50]
A Novel Method to Simplify Supervisor for AMS Based on Petri Nets and Inequality Analysis
[J].
2013 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA),
2013,
:3573-3579