[P1] ================================================ AMAST Links 02 08

                   Power of Basic Parallel Processes
          Philippe Schnoebelen <Philippe.Schnoebelen@imag.fr>

  Basic parallel processes (BPP) form a restricted class of processes 
(here transition systems) which strictly enlarge regular (or finite 
state) processes but still retain good decidability properties.  For 
example it is decidable whether two BPPs are bisimilar (Christensen, 
Hirshfeld and Moller).

  I am interested in what can and what cannot be described with
BPPs. Today, all I am aware of is that they are more powerful than
finite-state systems and less powerful than labeled P/T petri nets. 
(Here "powerful" is in the bisimilarity sense, but other criteria may 
be interesting too.)

  Where can I find more ?