HiveBrain v1.2.0
Get Started
← Back to all entries
patternMinor

Can a petri net fire only one transition at a single moment?

Submitted by: @import:stackexchange-cs··
0
Viewed 0 times
canfireonenetsingletransitionpetrimomentonly

Problem

After reading several articles about petri nets, I am confused on how firing works. Can Petri net system fire only one transition out of all active (fire-able transitions) at a single moment? Or are multiple transitions allowed to fire at a single moment?

Solution

Both.

Only one transition being able to fire at a time is known as interleaving semantics. Multiple transitions firing simultaneously is known as step semantics. Some people doing concurrency theory only call the latter real concurrency, and they care deeply about the difference; I'm sure the difference has consequences, but I've worked with Petri nets and I've never run into a situation where it mattered.

In a Petri net editor I used to work on, durations could be assigned to transitions - so these "transitions" represent tasks or processes that take a certain time. Once that is possible, clearly it makes a great difference whether two of them can be firing at the same time or not. But I would say such "timed transitions" really aren't transitions; rather, they are shorthands for a transition (start), a place (execution), and another transition (finish).

Context

StackExchange Computer Science Q#32851, answer score: 7

Revisions (0)

No revisions yet.