A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets.

Mohamed Bettaz Gianna Reggio

Published in: COMPASS/ADT (1992)

Keyphrases

petri net
high level
discrete event systems
petri net model
manufacturing systems
high level petri nets
state machines
service composition
stochastic petri net
ims ld
fuzzy petri net
process model
colored petri nets
control system
decision making
sequence diagrams
programmable logic controller