Casting Petri Nets into Programs

From MaRDI portal

Publication:3660903

Jump to:navigation, search

DOI10.1109/TSE.1983.235118zbMath0514.68030MaRDI QIDQ3660903

Lois M. Haibt, Robert A. Nelson, Peter B. Sheridan

Publication date: 1983

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

modeling Petri nets parallel processing concurrency asynchronous processes process control high-level specification high-level design

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)

Petri nets for the design and operation of manufacturing systems ⋮ Dynamic sequencing of robot moves in a manufactoring cell

This page was built for publication: Casting Petri Nets into Programs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3660903&oldid=17126789"