scientific article; zbMATH DE number 1341760

zbMATH Open0935.68076MaRDI QIDQ4263305

Gabriel Juhás

Publication date: 22 September 1999

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

zbMATH Keywords

Petri net models

Mathematics Subject Classification ID

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

Related Items (6)

Experimenting Formal Proofs of Petri Nets Refinements ⋮ Unnamed Item ⋮ Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra ⋮ Towards reasoning about Petri nets: a propositional dynamic logic based approach ⋮ Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée ⋮ Encoding Higher Level Extensions of Petri Nets in Answer Set Programming

This page was built for publication: