Misalnya Petri Nets

(PetriSim Manual)

Contoh berikut model kerja sama antara dua proses yang disebut Producer dan Consumer. Produser mempersiapkan data dan menulis mereka untuk buffer. Jika tidak ada penyangga kosong, Produser harus menunggu. Konsumen membaca data yang diberikan oleh Produsen. Awal menandai tempat "Empty_buffers" adalah jumlah total buffer yang tersedia (awalnya semua buffer kosong). semaphore memastikan bahwa hanya satu proses dapat bekerja dengan data pada suatu waktu. Setelah membaca data Consumer mengembalikan buffer kosong.

Model P-net berikutnya berisi dua proses A dan B mengakses file F1 dan F2. Untuk kedua proses ada tempat yang mewakili negara-negara berikut:
- proses telah dimulai,
- proses menggunakan file pertama (F1 untuk proses A, F2 untuk B),
- proses menggunakan kedua file.

Untuk kedua proses ada transisi yang mewakili tindakan berikut:
- proses mengambil file pertama (F1 untuk proses A, F2 untuk B),
- proses mengambil file kedua (F2 untuk proses A, F1 untuk B),
- proses selesai.

File-file tersebut dimodelkan dengan token di tempat-tempat F1 dan F2 masing-masing. Token di tempat-tempat "Proses dimulai" mewakili kenyataan, bahwa proses telah dimulai. Pada awalnya ada dua transisi diaktifkan (kedua proses mungkin mulai). Langkah kedua memutuskan apakah akan ada kebuntuan atau tidak. Jika kedua proses mengambil satu file, tidak ada proses dapat terus. Jika proses yang mengambil file pertama juga mengambil yang kedua, semuanya OK. Contoh berikutnya menunjukkan solusi untuk masalah kebuntuan ini.

Contoh berikut menunjukkan solusi untuk masalah akses bersamaan ke data dengan proses lainnya menggunakan semaphore. semaphore dimodelkan dengan tempat yang menandai mewakili kenyataan, bahwa data dapat diakses. penggunaan pertama dari file apapun menghilangkan tanda dari semaphore yang blok akses ke data dari proses lainnya. Menghapus token dari cadangan semaphore semua data untuk proses sukses yang menghindari deadlock.

Contoh berikutnya adalah model sistem transmisi pesan satu cara sederhana. Sistem ini terbuat dari pengguna pengirim, pengirim, penerima dan pengguna penerima. Tanda tempat mewakili fakta-fakta tentang sistem:
p1 = pesan telah dihasilkan oleh pengguna dari pengirim,
p2 = pesan telah dikirim ke penerima,
p3 = penerima menunggu pesan (user-nya telah meminta itu),
p4 = pengguna dari penerima meminta pesan,
p5 = pengirim siap untuk transmisi,
p6 = penerima siap untuk menerima pesan,
p7 = pengakuan lulus dari pengirim ke user,
p8 = suatu pengakuan yang diterima oleh pengirim,
p9 = pesan diteruskan ke pengguna dari penerima.

Transisi mewakili kegiatan berikut dalam sistem:
t1 = pengirim mentransmisikan pesan ke penerima,
t2 = penerima menerima permintaan untuk pesan dari user,
t3 = penerima menerima pesan, lolos ke user-nya, mengirimkan sebuah
pengakuan dan menjadi siap untuk pesan berikutnya,
t4 = pengirim menerima pengakuan, lolos ke pengguna dan
menjadi siap untuk pesan berikutnya,
T5 = user pengirim mempersiapkan pesan berikutnya,
t6 = user penerima memproses pesan.