A vector matching method for analysing logic Petri nets-Reference-Cited by-同舟云学术

A vector matching method for analysing logic Petri nets

Published:2011-11 Issue:4 Volume:5 Page:449-468
ISSN:1751-7575
Container-title:Enterprise Information Systems
language:en
Short-container-title:Enterprise Information Systems

Author:

Du YuYue,Qi Liang,Zhou MengChu

Publisher

Informa UK Limited

Subject

Information Systems and Management,Computer Science Applications

Link

http://www.tandfonline.com/doi/pdf/10.1080/17517575.2010.541943

Reference45 articles.

1. Stepwise rigorous development of distributed agile information systems: from UML-diagrams to component-based Petri Nets†

2. Analysis issues in Petri nets with inhibitor arcs

3. Chen, L. Q. Modeling and analyzing distributed real-time and embedded systems with high-level Petri nets.Proceedings of the IEEE/ASME international conference on mechtronic and embedded systems and applications (MESA). pp.476–481.

4. Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets

5. Logic Petri Nets and Equivalency

Cited by 49 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Cross-Departmental Collaboration Approach for Earthquake Emergency Response Based on Synchronous Intersection between Traditional and Logical Petri Nets;Electronics;2023-03-02

2. Deviation Detection in Clinical Pathways Based on Business Alignment;Scientific Programming;2022-01-06

3. Method for Repairing Process Models with Selection Structures Based on Token Replay;Computing and Informatics;2021

4. Composition and Application of Extended Colored Logic Petri Nets to E-Commerce Systems;IEEE Access;2020

5. Modeling and Analysis for Uncertainty in Logistic Chains Based on Logical Time Petri Nets;IEEE Access;2020