Symbolic analysis of bounded Petri nets

DOI10.1109/12.926158zbMath1392.68312OpenAlexW2170020397WikidataQ56892802 ScholiaQ56892802MaRDI QIDQ4571331

Oriol Roig, Enric Pastor, Jordi Cortadella

Publication date: 9 July 2018

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

Full work available at URL: http://hdl.handle.net/2117/126121

Mathematics Subject Classification ID

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

Related Items (2)

A novel method for deadlock prevention of AMS by using resource-oriented Petri nets ⋮ A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets

This page was built for publication: Symbolic analysis of bounded Petri nets