A Unified High-Level Petri Net Formalism for Time-Critical Systems.

Carlo Ghezzi Dino Mandrioli Sandro Morasca Mauro Pezzè

Published in: IEEE Trans. Software Eng. (1991)

Keyphrases

petri net
discrete event systems
high level
low level
petri net model
manufacturing systems
distributed systems
knowledge representation
embedded real time systems
high level petri nets
natural language
learning systems
service composition
colored petri nets