True-concurrency probabilistic models: Markov nets and a law of large numbers