High-level Petri-net model for a resource-sharing problem

DOI10.1016/0020-0255(90)90027-8zbMath0706.68080OpenAlexW1983188085MaRDI QIDQ918729

Sukumar Ghosh, Ajoy K. Datta

Publication date: 1990

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0255(90)90027-8

zbMATH Keywords

Petri netresource-sharing problem

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 (1)

Automatic Code Generation for Simulating Information Systems

Cites Work

• System modelling with high-level Petri nets
• Synthesis of a Class of Deadlock-Free Petri Nets
• Can programming be liberated from the von Neumann style?
• Unnamed Item
• Unnamed Item

This page was built for publication: High-level Petri-net model for a resource-sharing problem