Search
Now showing items 1-1 of 1
Petri net reduction rules through incidence matrix operations
(2013)
A Petri net (PN) is a powerful tool that has been used to
model and analyze discrete event systems. Such
systems can be concurrent, asynchronous, distributed,
parallel, non-deterministic, and/or stochastic. A problem
in ...