Analytical verification of information system requirements using petri net properties.

S. Sakthivel J. P. Moily

Published in: Inf. Softw. Technol. (1993)

Keyphrases

petri net
petri net model
colored petri nets
information systems
concurrent systems
discrete event systems
web service composition
service composition
manufacturing systems
high level petri nets
model checking
web services
fuzzy petri net
stochastic petri net
production process
genetic algorithm