scientific article; zbMATH DE number 1751905

zbMath1019.68068MaRDI QIDQ4532997

Luis Gomes, João Paulo Barros

Publication date: 21 September 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

reactive Petri nets

Mathematics Subject Classification ID

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

Uses Software

• PALS

This page was built for publication: