scientific article
From MaRDI portal
Publication:3683531
zbMath0567.68017MaRDI QIDQ3683531
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Petri netscategory theorysemanticsCSPconcurrent processesevent structuresCCSoccurrence netssynchronisation trees
Related Items
Clustering for Petri nets ⋮ Petri nets, algebras, morphisms, and compositionality ⋮ A compositional proof system on a category of labelled transition systems ⋮ The equational theory of pomsets ⋮ Transfer of trust in event-based reputation systems ⋮ Distributed computation of vector clocks in Petri net unfoldings for test selection ⋮ Some behavioural aspects of net theory ⋮ Petri nets are monoids ⋮ An event structure semantics for general Petri nets ⋮ On the nature of events: another perspective in concurrency ⋮ Trellis processes: a compact representation for runs of concurrent systems ⋮ The poset of infinitary traces ⋮ Trust in event structures ⋮ Conditioning for variance reduction in estimating the sensitivity of simulations ⋮ Enriched categorical semantics for distributed calculi ⋮ Timing Petri Nets categorically ⋮ On categories of fuzzy Petri nets ⋮ Process synchronisation as fusion
