On atomic nets and concurrency relations

We have attempted to present a formalization of decomposition of nets into indivisible sequential components and to investigate different notions of concurrency. We feel that this paper presents a sound foundations for studying the concurrency relation in the case of the whole class of condition/event nets. All proofs will be published soon.