Publication:4264234
From MaRDI portal
zbMath0930.68096MaRDI QIDQ4264234
Publication date: 16 September 1999
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N17: Logic programming
Related Items
Merged processes: a new condensed representation of Petri net behaviour, Verification of bounded Petri nets using integer programming, Answer set programming and plan generation, Extending and implementing the stable model semantics, An Algorithm for Direct Construction of Complete Merged Processes, Directed Unfolding of Petri Nets
Uses Software