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

DOI10.1080/00207729308949505zbMath0769.93011OpenAlexW2004753716MaRDI QIDQ4696409

Atsushi Ohta, Tomiji Hisamura

Publication date: 29 June 1993

Published in: International Journal of Systems Science (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

Related Items (1)

Verification of heterogeneous multi-agent system using MCMAS

Cites Work

• Unnamed Item
• Marked directed graphs
• Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets

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