scientific article; zbMATH DE number 5499378

MaRDI QIDQ5506396zbMATH OpenFDO

Authors Cong Liu, Alex Kondratiev, Yosinori Watanabe, Jörg Desel, Alberto L. Sangiovanni-Vincentelli

Publication date 28 January 2009

zbMATH Keywords

incidence matrixPN structure

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2058666
• Timing constraint Petri nets and their schedulability analysis and verification
• Timing constraint Petri nets and their schedulability analysis and verification
• Structural analysis of Petri nets
• Structural properties of petri nets
• scientific article; zbMATH DE number 1070535
• Petri net based scheduling
• Scheduling analysis of FMS: an unfolding timed Petri nets approach
• Theory and Applications of Models of Computation

Cited in

(6)

• Stability analysis of buffer priority scheduling policies using Petri nets
• Quasi-static scheduling of communicating tasks
• Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
• scientific article; zbMATH DE number 5140768 (Why is no real title available?)
• Integrating discrete controller synthesis into a reactive programming language compiler
• Near-Optimal Scheduling for Petri Net Models With Forbidden Markings

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5506396)