Extending Petri nets for specifying man–machine dialogues
From MaRDI portal
Publication:3805924
DOI10.1016/S0020-7373(88)80021-XzbMath0657.68069MaRDI QIDQ3805924
Publication date: 1988
Published in: International Journal of Man-Machine Studies (Search for Journal in Brave)
Related Items (2)
Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers ⋮ On Weighted Petri Net Transducers
This page was built for publication: Extending Petri nets for specifying man–machine dialogues