Improving Synchronous Dataflow Analysis Supported by Petri Net Mappings

Modeling and Race Detection of Ladder Diagrams via Ordinary Petri Nets

(2018) Jiliang Luo et al.   IEEE Transactions on Systems Man Cybernetics-Systems

A Petri Net Approach to Fault Diagnosis and Restoration for Power Transmission Systems to Avoid the Output Interruption of Substations

(2017) Zhongyuan Jiang et al.   IEEE Systems Journal

Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets

(2017) Dongming Xiang et al.   IEEE Transactions on Industrial Informatics

A Timed Colored Petri Net Simulation-Based Self-Adaptive Collaboration Method for Production-Logistics Systems

(2017) Zhengang Guo et al.   Applied Sciences-Basel

Manufacturing Scheduling Using Colored Petri Nets and Reinforcement Learning

(2017) Maria Drakaki et al.   Applied Sciences-Basel

A Branching-Process-Based Method to Check Soundness of Workflow Systems

(2016) Guanjun Liu et al.   IEEE Access

Fourier extension and hough transform for multiple component FM signal analysis

(2015) Said Assous et al.   DIGITAL SIGNAL PROCESSING

Comments on “Minimizing Buffer Requirements Under Rate-Optimal Schedule in Regular Dataflow Networks”

(2015) José-Inácio Rocha et al.   Journal of Signal Processing Systems for Signal Image and Video Technology

Model-driven software synthesis for hard real-time applications with energy constraints

(2011) E. Tavares et al.   DESIGN AUTOMATION FOR EMBEDDED SYSTEMS

Liveness of an extended S3PR

(2010) Ding Liu et al.   AUTOMATICA

A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models

(2009) Chunfu Zhong et al.   ENGINEERING WITH COMPUTERS

Scheduling manufacturing systems with blocking: a Petri net approach

(2008) Gonzalo Mejía et al.   INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH