Publication:4531752
From MaRDI portal
zbMath0985.68520MaRDI QIDQ4531752
Keijo Heljanko, Javier Esparza
Publication date: 23 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2057/20570037
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings, Efficient unfolding of contextual Petri nets, Executability of scenarios in Petri nets, Path planning for robotic teams based on LTL specifications and Petri net models, Model checking Petri nets with MSVL, Efficient Contextual Unfolding, Decompositional Petri Net Reductions
Uses Software