POC net, a subclass of Petri nets, and its application to timed Petri nets

DOI10.1080/00207729308949505MaRDI QIDQ4696409zbMATH OpenOpenAlexFDO

Authors Atsushi Ohta, Tomiji Hisamura

Publication date 29 June 1993

Published in International Journal of Systems Science. Principles and Applications of Systems and Integration (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207729308949505

zbMATH Keywords

livenessPetri net analysisplace-liveness

Mathematics Subject Classification ID

Recommendations

• Time-independent liveness in time Petri-nets
• Liveness for synchronized choice Petri nets
• scientific article; zbMATH DE number 4209631
• Deciding Structural Liveness of Petri Nets
• scientific article; zbMATH DE number 4033101

Cites work

• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• Marked directed graphs
• Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets

Cited in

(2)

• Verification of heterogeneous multi-agent system using MCMAS
• Time-independent liveness in time Petri-nets

This page was built for publication: POC net, a subclass of Petri nets, and its application to timed Petri nets

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