Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions

DOI10.1109/12.477242zbMath1048.68515OpenAlexW2148916011MaRDI QIDQ4421127

Riccardo Sisto, Adriano Valenzano

Publication date: 1995

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

Full work available at URL: https://doi.org/10.1109/12.477242

zbMATH Keywords

formal description techniquesprotocol engineeringconcurrent systems design

Mathematics Subject Classification ID

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

Related Items (2)

Behavior relativity of Petri nets. ⋮ Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets

This page was built for publication: Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions