scientific article; zbMATH DE number 522857

MaRDI QIDQ4284252zbMATH OpenFDO

Authors Dang Van Hung, Tran van Dung

Publication date 19 July 1994

zbMATH Keywords

1-safe Petri netfiring sequencesprocesses of bounded nets

Mathematics Subject Classification ID

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

Recommendations

• Firing sequences and processes of Petri nets
• scientific article; zbMATH DE number 3850481
• FIRING SEQUENCES AND FIRING FREQUENCIES ESTIMATION FOR TIMED PETRI NETS
• Firing partial orders in a Petri net
• The non-sequential behaviour of Petri nets
• Process net reconstruction from the sequence of Petri net transition triggerings
• Sequential and concurrent behaviour in Petri net theory
• Petri nets and regular processes
• scientific article; zbMATH DE number 193318
• Branching processes of Petri nets

Cited in

(5)

• Process expression of bounded Petri nets
• Firing sequences and processes of Petri nets
• On profiles and footprints -- relational semantics for Petri nets
• scientific article; zbMATH DE number 5631271 (Why is no real title available?)
• Process net reconstruction from the sequence of Petri net transition triggerings

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 Q4284252)