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

DOI10.1080/00207729308949505zbMATH Open0769.93011OpenAlexW2004753716MaRDI QIDQ4696409FDOQ4696409

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

Recommendations

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

zbMATH Keywords

livenessPetri net analysisplace-liveness

Mathematics Subject Classification ID

Cites Work

• Marked directed graphs
• Title not available (Why is that?)
• 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)