Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets.

Agata Janowska Wojciech Penczek Agata Pólrola Andrzej Zbrzezny

Published in: PNSE (2012)

Keyphrases

petri net
discrete event systems
petri net model
high level petri nets
manufacturing systems
colored petri nets
fuzzy petri net
service composition
state machines
process model
temporal reasoning
neural network
ims ld
description language
sequence diagrams
low cost
expert systems
genetic algorithm