Structure matrices for Petri nets and their applications

DOI10.1016/0016-0032(85)90052-3zbMath0561.68046OpenAlexW2127832084MaRDI QIDQ2266589

Yanyan Li

Publication date: 1985

Published in: Journal of the Franklin Institute (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0016-0032(85)90052-3

zbMATH Keywords

concurrencyconflict matricesconfluence matricesprecedence matricesrelationships between transitions and places in Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Related Items (2)

Structural matrices for Signed Petri net ⋮ Trapping mutual exclusion in the box calculus

Cites Work

• Petri Nets and Marked Graphs--Mathematical Models of Concurrent Computation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Structure matrices for Petri nets and their applications