scientific article; zbMATH DE number 1337888
From MaRDI portal
Publication:4264234
zbMath0930.68096MaRDI QIDQ4264234
Publication date: 16 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic programming (68N17)
Related Items (8)
Merged processes: a new condensed representation of Petri net behaviour ⋮ Verification of bounded Petri nets using integer programming ⋮ Efficient unfolding of contextual Petri nets ⋮ Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems ⋮ An Algorithm for Direct Construction of Complete Merged Processes ⋮ Directed Unfolding of Petri Nets ⋮ Answer set programming and plan generation ⋮ Extending and implementing the stable model semantics
Uses Software
This page was built for publication:
