Extending Petri nets for specifying man–machine dialogues

DOI10.1016/S0020-7373(88)80021-XzbMath0657.68069MaRDI QIDQ3805924

Willem R. van Biljon

Publication date: 1988

Published in: International Journal of Man-Machine Studies (Search for Journal in Brave)

zbMATH Keywords

context-free languagesuser interfaceman-machine dialoguenested Petri netsinput-output nets

Mathematics Subject Classification ID

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

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