Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets.

Wojciech Penczek Agata Pólrola

Published in: ICATPN (2001)

Keyphrases

petri net
partial order
partially ordered
total order
petri net model
manufacturing systems
fuzzy petri net
discrete event systems
web service composition
colored petri nets
production system
ims ld
concurrent systems
service composition
stochastic petri net
low cost
totally ordered
programmable logic controller