Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariants.

Lasse Jacobsen Morten Jacobsen Mikael H. Møller

Published in: MEMICS (2009)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
colored petri nets
description logics
high level petri nets
fuzzy petri net
state machines
process model
sequence diagrams
artificial intelligence
service composition
ims ld
concurrent systems
discrete dynamical systems